{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:54:04Z","timestamp":1773248044912,"version":"3.50.1"},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T00:00:00Z","timestamp":1657756800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2022,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just a few. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction industry. Buildings need to be compliant with regulations about stability, safety, and environmental impact. Manual compliance checking is tedious and error-prone, and amending flaws discovered only at construction time causes huge additional costs and delays. Several tools can check BIM models for conformance with rules\/guidelines. For example, Singapore\u2019s CORENET e-Submission System checks fire safety. But since the current BIM exchange format only contains basic information about building objects, a separate, ad-hoc model pre-processing is required to determine, for example, evacuation routes. Moreover, they face difficulties in adapting existing built-in rules and\/or adding new ones (to cater for building regulations, that can vary not only among countries but also among parts of the same city), if at all possible. We propose the use of logic-based executable formalisms (CLP and Constraint ASP) to couple BIM models with advanced knowledge representation and reasoning capabilities. Previous experience shows that such formalisms can be used to uniformly capture and reason with knowledge (including ambiguity) in a large variety of domains. Additionally, incorporating checking within design tools makes it possible to ensure that models are rule-compliant at every step. This also prevents erroneous designs from having to be (partially) redone, which is also costly and burdensome. To validate our proposal, we implemented a preliminary reasoner under CLP(Q\/R) and ASP with constraints and evaluated it with several BIM models.<\/jats:p>","DOI":"10.1017\/s1471068422000138","type":"journal-article","created":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T13:07:06Z","timestamp":1657804026000},"page":"723-738","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":10,"title":["Building Information Modeling Using Constraint Logic Programming"],"prefix":"10.1017","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4148-311X","authenticated-orcid":false,"given":"JOAQU\u00cdN","family":"ARIAS","sequence":"first","affiliation":[]},{"given":"SEPPO","family":"T\u00d6RM\u00c4","sequence":"additional","affiliation":[]},{"given":"MANUEL","family":"CARRO","sequence":"additional","affiliation":[]},{"given":"GOPAL","family":"GUPTA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,7,14]]},"reference":[{"key":"S1471068422000138_ref15","doi-asserted-by":"publisher","DOI":"10.3233\/SW-180297"},{"key":"S1471068422000138_ref14","unstructured":"Solihin, W. 2015. A Simplified BIM Data Representation Using a Relational Database Schema for an Efficient Rule Checking System and its Associated Rule Checking Language. Ph.D. thesis, Georgia Institute of Technology."},{"key":"S1471068422000138_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2010.11.017"},{"key":"S1471068422000138_ref3","doi-asserted-by":"crossref","unstructured":"Arias, J. , Moreno-Rebato, M. , Rodriguez-Garc\u00eda, J. A. and Ossowski, S. 2021. Modeling administrative discretion using goal-directed answer set programming. In Advances in Artificial Intelligence, CAEPIA 20\/21. LNCS, vol. 12882. Springer, 258\u2013267.","DOI":"10.1007\/978-3-030-85713-4_25"},{"key":"S1471068422000138_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068421000478"},{"key":"S1471068422000138_ref10","doi-asserted-by":"crossref","unstructured":"Li, B. , Teizer, J. and Schultz, C. 2020. Non-monotonic spatial reasoning for safety analysis in construction. In Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, 1\u201312.","DOI":"10.1145\/3414080.3414096"},{"key":"S1471068422000138_ref6","unstructured":"BuildingSMART 2020. Industry Foundation Classes (IFC). URL: https:\/\/technical.buildingsmart.org\/standards\/ifc\/. [Accessed on July, 2020]."},{"key":"S1471068422000138_ref8","unstructured":"Holzbaur, C. 1995. OFAI CLP(Q,R) Manual, Edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna."},{"key":"S1471068422000138_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2016.04.008"},{"key":"S1471068422000138_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000102"},{"key":"S1471068422000138_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068421000156"},{"key":"S1471068422000138_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000138"},{"key":"S1471068422000138_ref13","unstructured":"Singapore Government. 2016. Corenet BIM e-Submission. URL: https:\/\/www.corenet.gov.sg\/general\/building-information-modeling-(bim)-e-submission.aspx."},{"key":"S1471068422000138_ref7","doi-asserted-by":"crossref","unstructured":"Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In 5th International Conference on Logic Programming, 1070\u20131080.","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"key":"S1471068422000138_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2012.05.006"},{"key":"S1471068422000138_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000285"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068422000138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,15]],"date-time":"2022-08-15T01:07:24Z","timestamp":1660525644000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068422000138\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,14]]},"references-count":16,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["S1471068422000138"],"URL":"https:\/\/doi.org\/10.1017\/s1471068422000138","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,14]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}