Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144584432> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2144584432 endingPage "916" @default.
- W2144584432 startingPage "907" @default.
- W2144584432 abstract "Automating the process of compliance checking is expected to reduce the time and cost of the process, as well as reduce the probability of making compliance assessment errors. Automated reasoning is essential for enabling the automation of compliance checking. Among the different types of formally-defined logic, which have varying degrees of descriptive capability, first order logic (FOL) is the most widely-used for logical inference-making. In this paper, we present our FOL-based representation method for supporting automated regulatory compliance checking in construction. The expressivity of FOL is leveraged to describe various concepts and their relations in construction regulations. Prolog is the most widely-used logic programming language and reasoner. We used B-Prolog (an implementation of Prolog) for implementing our proposed method. We tested the method on representing and reasoning about quantitative requirements in Chapter 12 of the 2006 edition of the International Building Code. We developed 109 instances of project information as the test set. We tested the performance of our proposed method in detecting non-compliance instances. Using automatically extracted and transformed regulatory information (and represented in the form of logic clauses), we achieved 0.929 and 0.981 for precision and recall in detecting non-compliance instances, respectively. We also compared automated checking to manual checking in terms of the time efficiency. Automated checking takes a time shorter than 1/10,000 of that for manual checking." @default.
- W2144584432 created "2016-06-24" @default.
- W2144584432 creator A5015371403 @default.
- W2144584432 creator A5041397764 @default.
- W2144584432 date "2014-05-13" @default.
- W2144584432 modified "2023-09-26" @default.
- W2144584432 title "Automated Reasoning for Regulatory Compliance Checking in the Construction Domain" @default.
- W2144584432 cites W1488560674 @default.
- W2144584432 cites W1555257360 @default.
- W2144584432 cites W1967622519 @default.
- W2144584432 cites W1969536254 @default.
- W2144584432 cites W2013696074 @default.
- W2144584432 cites W2063152008 @default.
- W2144584432 cites W2065594418 @default.
- W2144584432 cites W2331507420 @default.
- W2144584432 cites W2357556984 @default.
- W2144584432 cites W2785482029 @default.
- W2144584432 cites W2798401172 @default.
- W2144584432 cites W84095035 @default.
- W2144584432 doi "https://doi.org/10.1061/9780784413517.0093" @default.
- W2144584432 hasPublicationYear "2014" @default.
- W2144584432 type Work @default.
- W2144584432 sameAs 2144584432 @default.
- W2144584432 citedByCount "0" @default.
- W2144584432 crossrefType "journal-article" @default.
- W2144584432 hasAuthorship W2144584432A5015371403 @default.
- W2144584432 hasAuthorship W2144584432A5041397764 @default.
- W2144584432 hasConcept C115901376 @default.
- W2144584432 hasConcept C115903868 @default.
- W2144584432 hasConcept C127413603 @default.
- W2144584432 hasConcept C128838566 @default.
- W2144584432 hasConcept C134306372 @default.
- W2144584432 hasConcept C154945302 @default.
- W2144584432 hasConcept C177264268 @default.
- W2144584432 hasConcept C195344581 @default.
- W2144584432 hasConcept C199360897 @default.
- W2144584432 hasConcept C2776214188 @default.
- W2144584432 hasConcept C33923547 @default.
- W2144584432 hasConcept C36503486 @default.
- W2144584432 hasConcept C41008148 @default.
- W2144584432 hasConcept C78519656 @default.
- W2144584432 hasConcept C81721847 @default.
- W2144584432 hasConcept C9616225 @default.
- W2144584432 hasConcept C98045186 @default.
- W2144584432 hasConceptScore W2144584432C115901376 @default.
- W2144584432 hasConceptScore W2144584432C115903868 @default.
- W2144584432 hasConceptScore W2144584432C127413603 @default.
- W2144584432 hasConceptScore W2144584432C128838566 @default.
- W2144584432 hasConceptScore W2144584432C134306372 @default.
- W2144584432 hasConceptScore W2144584432C154945302 @default.
- W2144584432 hasConceptScore W2144584432C177264268 @default.
- W2144584432 hasConceptScore W2144584432C195344581 @default.
- W2144584432 hasConceptScore W2144584432C199360897 @default.
- W2144584432 hasConceptScore W2144584432C2776214188 @default.
- W2144584432 hasConceptScore W2144584432C33923547 @default.
- W2144584432 hasConceptScore W2144584432C36503486 @default.
- W2144584432 hasConceptScore W2144584432C41008148 @default.
- W2144584432 hasConceptScore W2144584432C78519656 @default.
- W2144584432 hasConceptScore W2144584432C81721847 @default.
- W2144584432 hasConceptScore W2144584432C9616225 @default.
- W2144584432 hasConceptScore W2144584432C98045186 @default.
- W2144584432 hasLocation W21445844321 @default.
- W2144584432 hasOpenAccess W2144584432 @default.
- W2144584432 hasPrimaryLocation W21445844321 @default.
- W2144584432 hasRelatedWork W1598565396 @default.
- W2144584432 hasRelatedWork W1853867567 @default.
- W2144584432 hasRelatedWork W1966703696 @default.
- W2144584432 hasRelatedWork W1978187713 @default.
- W2144584432 hasRelatedWork W2036203614 @default.
- W2144584432 hasRelatedWork W2116374913 @default.
- W2144584432 hasRelatedWork W2137693367 @default.
- W2144584432 hasRelatedWork W2155452496 @default.
- W2144584432 hasRelatedWork W2160288995 @default.
- W2144584432 hasRelatedWork W2186847824 @default.
- W2144584432 hasRelatedWork W2189059128 @default.
- W2144584432 hasRelatedWork W2295525490 @default.
- W2144584432 hasRelatedWork W2528116631 @default.
- W2144584432 hasRelatedWork W2966914448 @default.
- W2144584432 hasRelatedWork W2996512072 @default.
- W2144584432 hasRelatedWork W3014366484 @default.
- W2144584432 hasRelatedWork W3088517366 @default.
- W2144584432 hasRelatedWork W3099686106 @default.
- W2144584432 hasRelatedWork W3205625783 @default.
- W2144584432 hasRelatedWork W2281957074 @default.
- W2144584432 isParatext "false" @default.
- W2144584432 isRetracted "false" @default.
- W2144584432 magId "2144584432" @default.
- W2144584432 workType "article" @default.