Results 11 to 20 of about 42,044 (262)
Automated Rule Checking for MEP Systems Based on BIM and KBMS
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 +3 more sources
A Semantic Approach for Automated Rule Compliance Checking in Construction Industry
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 +3 more sources
Framing and Evaluating the Best Practices of IFC-Based Automated Rule Checking: A Case Study
This research reviews recent advances in the domain of Automated Rule Checking (ARC) and argues that current systems are predominantly designed to validate models in post-design stages, useful for applications such as e-permitting. However, such a design-
Soroush Sobhkhiz +3 more
doaj +3 more sources
Injury Incidence Before and After the Introduction of Body Checking in Elite Women’s Ice Hockey: A Six-Season Nationwide Insurance-Based Study [PDF]
Background In 2022, the Swedish Women’s Elite Ice Hockey League (SDHL) became the first women’s league to introduce bodychecking. Using insurance data, this study examined injury incidence before and after the implementation of this rule.
Amanda Lahti +3 more
doaj +2 more sources
ONTOLOGY-BASED RULE COMPLIANCE CHECKING FOR SUBSURFACE OBJECTS [PDF]
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
BIM-Based Checking Method for the Mass Timber Industry
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
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
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
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
Rule Learning over Knowledge Graphs: A Review [PDF]
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

