scholarly journals A Semantic Approach for Automated Rule Compliance Checking in Construction Industry

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 129648-129660
Author(s):  
Dongming Guo ◽  
Erling Onstein ◽  
Angela Daniela La Rosa
Author(s):  
Thomas H. Beach ◽  
Tala Kasim ◽  
Haijiang Li ◽  
Nicholas Nisbet ◽  
Yacine Rezgui

Author(s):  
C. Métral ◽  
V. Daponte ◽  
A. Caselli ◽  
G. Di Marzo ◽  
G. Falquet

Abstract. This paper presents a model for representing compliance rules related to subsurface objects. Rules expressed in this model can be automatically evaluated (using SHACL or SPARQL) on existing 3D city models expressed in RDF. The main characteristics of the proposed model are (1) its expressiveness, that comes from the use of formal ontologies for representing the rules and the objects they refer to, (2) its integrative nature, given by the interconnection among the proposed ontologies and the connection of these ontologies with CityGML and IFC (in an ontological form), and (3) its multi-geometry aspect. Preliminary results allow to automatically evaluate formally expressed compliance rules for underground objects in a 3D city model, that will considerably ease the task of professionals of the field.


Author(s):  
Rui Zhao

We propose Dr.Aid, a logic-based AI framework for automated compliance checking of data governance rules over data-flow graphs. The rules are modelled using a formal language based on situation calculus and are suitable for decentralized contexts with multi-input-multi-output (MIMO) processes. Dr.Aid models data rules and flow rules and checks compliance by reasoning about the propagation, combination, modification and application of data rules over the data flow graphs. Our approach is driven and evaluated by real-world datasets using provenance graphs from data-intensive research.


2012 ◽  
Vol 4 (3) ◽  
pp. 830-851 ◽  
Author(s):  
Khalil Riad Bouzidi ◽  
Bruno Fies ◽  
Catherine Faron-Zucker ◽  
Alain Zarli ◽  
Nhan Le Thanh

2004 ◽  
Author(s):  
Parsa Mirhaji ◽  
S. Lillibridge ◽  
R. Richesson ◽  
J. Zhang ◽  
J. Smith

Sign in / Sign up

Export Citation Format

Share Document