Results 1 to 10 of about 549,692 (299)
Class diagram restructuring with GROOVE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner ...
Rensink, Arend, Smid, Wietse
core +6 more sources
ONTOLOGY-BASED RULE COMPLIANCE CHECKING FOR SUBSURFACE OBJECTS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 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
C. Métral +4 more
doaj +1 more source
Automated Rule Checking for MEP Systems Based on BIM and KBMS
Buildings, 2022 Due to the growing complexity of mechanical, electrical, and plumbing (MEP) designs and the rules that govern them, performing rule checks manually has become expensive.
Xuanfeng Xie +5 more
doaj +1 more source
Zhongguo Jianchuan Yanjiu, 2023 ObjectivesThis paper aims to propose a type of structural verification software for inland ships with embedded specifications, addressing the problem of low calculation efficiency and difficult model reuse in performing manual checking and calculation ...
Pang NIE +3 more
doaj +1 more source
Rule Learning over Knowledge Graphs: A Review [PDF]
Transactions on Graph Data and Knowledge, 2023 Compared to black-box neural networks, logic rules express explicit knowledge, can provide human-understandable explanations for reasoning processes, and have found their wide application in knowledge graphs and other downstream tasks.
Wu, Hong +4 more
doaj +1 more source
BIM-Based Checking Method for the Mass Timber Industry
Buildings, 2023 Since the 1990s, mass timber constructions have become more and more popular. This type of construction has characteristics that are ideal for incorporating building information modeling (BIM).
Chloé Paskoff +2 more
doaj +1 more source
A Semantic Approach for Automated Rule Compliance Checking in Construction Industry
IEEE Access, 2021 Automated Compliance Checking (ACC) of building/construction projects is one of the important applications in Architecture, Engineering and Construction (AEC) industry, because it provides the checking processes and results of whether a building design ...
Dongming Guo +2 more
doaj +1 more source
CivilEng, 2023 The transition to a design based on information modeling has paved the way for automated verification of project documentation. The most complicated type of design documentation check is the assessment of compliance with the requirements of regulatory ...
Elena Makisha
doaj +1 more source
Utrecht Law Review, 2021 This article explores the role of civil society in checking the executive as reflected in the case-law of the European Court of Human Rights. Although this role is traditionally associated with the judiciary and the legislative, in light of the ...
Aikaterini Tsampi
doaj +1 more source
High-level implementable methods for automated building code compliance checking
Developments in the Built Environment, 2023 This paper presents an approach for defining high-level implementable methods to improve their low-level rule-checking procedures. This is part of an effort to develop challenging building information modeling (BIM)-enabled applications for building ...
Jin-Kook Lee +5 more
doaj +1 more source