{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:41:50Z","timestamp":1782877310432,"version":"3.54.5"},"reference-count":40,"publisher":"American Society of Civil Engineers (ASCE)","issue":"1","content-domain":{"domain":["ascelibrary.org"],"crossmark-restriction":true},"short-container-title":["J. Comput. Civ. Eng."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1061\/(asce)cp.1943-5487.0000583","type":"journal-article","created":{"date-parts":[[2016,6,7]],"date-time":"2016-06-07T15:43:03Z","timestamp":1465314183000},"update-policy":"https:\/\/doi.org\/10.1061\/do.news.20190416.0001","source":"Crossref","is-referenced-by-count":51,"title":["Semantic-Based Logic Representation and Reasoning for Automated Regulatory Compliance Checking"],"prefix":"10.1061","volume":"31","author":[{"given":"Jiansong","family":"Zhang","sequence":"first","affiliation":[{"name":"Graduate Student, Dept. of Civil and Environmental Engineering, Univ. of Illinois at Urbana-Champaign, 205\u00a0N. Mathews Ave., Urbana, IL 61801."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nora M.","family":"El-Gohary","sequence":"additional","affiliation":[{"name":"Assistant Professor, Dept. of Civil and Environmental Engineering, Univ. of Illinois at Urbana-Champaign, 205\u00a0N. Mathews Ave., Urbana, IL 61801 (corresponding author)."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"30","reference":[{"key":"e_1_3_2_2_1","unstructured":"Aho A. and Ullman J. (1992). \u201cFoundations of computer science.\u201d \u27e8http:\/\/infolab.stanford.edu\/\u223cullman\/focs.html#pdfs\u27e9 (Sep. 20 2015)."},{"key":"e_1_3_2_3_1","doi-asserted-by":"crossref","unstructured":"Awad A. Smirnov S. and Weske M. (2009). \u201cResolution of compliance violation in business process models: A planning-based approach.\u201d Proc. OTM \u201809 Springer Berlin 6\u201323.","DOI":"10.1007\/978-3-642-05148-7_4"},{"key":"e_1_3_2_4_1","doi-asserted-by":"crossref","unstructured":"Beach T. H. Kasim T. Li H. Nisbet N. and Rezgui Y. (2013). \u201cTowards automated compliance checking in the construction industry.\u201d DEXA 2013 Part I LNCS 8055 Springer Berlin 366\u2013380.","DOI":"10.1007\/978-3-642-40285-2_32"},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04686-5_11"},{"key":"e_1_3_2_6_1","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0887-3801(1995)9:2(141)"},{"key":"e_1_3_2_7_1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/978-3-642-20832-4_2","volume-title":"Logic programming, knowledge representation, and nonmonotonic reasoning","author":"Denecker M.","year":"2011"},{"key":"e_1_3_2_9_1","unstructured":"Dimyadi J. and Amor R. (2013). \u201cAutomated building code compliance checking\u2014Where is it at?\u201d \u27e8http:\/\/www.academia.edu\/4094621\/\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_10_1","doi-asserted-by":"crossref","unstructured":"Dimyadi J. Clifton C. Spearpoint M. and Amor R. (2014). \u201cRegulatory knowledge encoding guidelines for automated compliance audit of building engineering design.\u201d Computing in Civil and Building Engineering ASCE Reston VA 536\u2013543.","DOI":"10.1061\/9780784413616.067"},{"key":"e_1_3_2_11_1","unstructured":"DOE (Department of Energy). (2014). \u201cBuilding energy codes program: Software and web tools.\u201d \u27e8https:\/\/www.energycodes.gov\/software-and-web-tools-0\u27e9 (Jul. 9 2014)."},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2009.07.002"},{"key":"e_1_3_2_13_1","unstructured":"EPA (Environment Protection Agency). (2013). \u201cRegulatory information in construction sector.\u201d \u27e8http:\/\/www2.epa.gov\/regulatory-information-sector\/construction-sector-naics-23\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_14_1","unstructured":"Fiatech. (2012). \u201cAutoCodes project: Phase 1 proof-of-concept final report.\u201d \u27e8http:\/\/www.fiatech.org\/images\/stories\/techprojects\/project_deliverables\/Updated_project_deliverables\/AutoCodesPOCFINALREPORT.pdf\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_15_1","unstructured":"Fiatech. (2014). \u201cAutomated code plan checking tool-proof-of-concept (phase 2).\u201d \u27e8http:\/\/www.fiatech.org\/index.php\/projects\/active-projects\/162-active-projects\/projects-management\/593-automated-code-plan-checking-tool-proof-of-concept\u27e9 (May 22 2014)."},{"key":"e_1_3_2_16_1","doi-asserted-by":"crossref","unstructured":"Garg D. Jia L. and Datta A. (2011). \u201cPolicy auditing over incomplete logs: Theory implementation and applications.\u201d Proc. 18th ACM Conf. Computer and Communications Security ACM New York 151\u2013162.","DOI":"10.1145\/2046707.2046726"},{"key":"e_1_3_2_17_1","unstructured":"Grimm S. and Motik B. (2005). \u201cClosed world reasoning in the Semantic web through epistemic operators.\u201d 2nd Int. Workshop on OWL: Experiences and Directions (OWLED 2006) Association for Computational Linguistics East Stroudsburg PA 2005."},{"key":"e_1_3_2_18_1","unstructured":"Halpern J. Y. and Weissman V. (2006). \u201cUsing first-order logic to reason about policies.\u201d \u27e8http:\/\/arxiv.org\/pdf\/cs\/0601034.pdf\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380564.1380569"},{"key":"e_1_3_2_20_1","volume-title":"Semantic web programming","author":"Hebeler J.","year":"2009"},{"key":"e_1_3_2_21_1","doi-asserted-by":"crossref","unstructured":"Hjelseth E. (2012). \u201cConverting performance based regulations into computable rules in BIM based model checking software.\u201d eWork and eBusiness in Architecture Engineering and Construction ECPPM 2012 Taylor & Francis Group London 461\u2013469.","DOI":"10.1201\/b12516-73"},{"key":"e_1_3_2_22_1","unstructured":"Hjelseth E. and Nisbet N. (2011). \u201cCapturing normative constraints by use of the semantic mark-up RASE methodology.\u201d Proc. CIB W78 2011 Conseil International du B\u00e2timent (CIB) Rotterdam Netherlands."},{"key":"e_1_3_2_23_1","unstructured":"Hodges W. (2001). \u201cClassical logic I\u2014First-order logic.\u201d \u27e8http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.137.4783&rep=rep1&type=pdf\u27e9 (Dec. 26 2013)."},{"key":"e_1_3_2_24_1","unstructured":"ICC (International Code Council). (2013a). \u201cInternational code council.\u201d AEC3 \u27e8http:\/\/www.aec3.com\/en\/5\/5_013_ICC.htm\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_25_1","unstructured":"ICC (International Code Council). (2013b). \u201cInternational code council online library.\u201d \u27e8http:\/\/publicecodes.cyberregs.com\/icod\/\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_26_1","unstructured":"International Code Council (ICC). (2009). \u201c2009 International Building Code.\u201d \u27e8http:\/\/publicecodes.cyberregs.com\/icod\/ibc\/2009\/index.htm\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_27_1","unstructured":"Jain D. Krawinkler H. and Law K. H. (1989). \u201cKnowledge representation with logic.\u201d CIFE Technical Rep. No. 13 Stanford Univ. Stanford CA."},{"key":"e_1_3_2_28_1","doi-asserted-by":"crossref","unstructured":"Kerrigan S. and Law K. H. (2003). \u201cLogic-based regulation compliance-assistance.\u201d Proc. 9th Int. Conf. Artificial Intelligence and Law (ICAIL 2003) ACM New York 126\u2013135.","DOI":"10.1145\/1047788.1047820"},{"key":"e_1_3_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.01.007"},{"key":"e_1_3_2_30_1","unstructured":"Lau G. T. and Law K. (2004). \u201cAn information infrastructure for comparing accessibility regulations and related information from multiple sources.\u201d Proc. 10th Int. Conf. Computational Civil and Building Engineering (ICCCBE) ISCCBE Hong Kong China."},{"key":"e_1_3_2_31_1","unstructured":"Lutz C. Seylan I. and Wolter F. (2012). \u201cMixing open and closed world assumption in ontology-based data access: Non-uniform data complexity.\u201d Proc. Int. Workshop Description Logics Elsevier Atlanta."},{"key":"e_1_3_2_32_1","unstructured":"Portoraro F. (2011). \u201cAutomated reasoning.\u201d \u27e8http:\/\/plato.stanford.edu\/archives\/sum2011\/entries\/reasoning-automated\/\u27e9 (Dec. 26 2013)."},{"key":"e_1_3_2_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400002377"},{"key":"e_1_3_2_34_1","volume-title":"Advanced logic programming for language processing","author":"Saint-Dizier P.","year":"1994"},{"key":"e_1_3_2_35_1","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)CP.1943-5487.0000298"},{"key":"e_1_3_2_36_1","unstructured":"SBCA (Singapore Building and Construction Authority). (2006). \u201cConstruction and real estate network: Corenet Systems.\u201d \u27e8http:\/\/www.corenet.gov.sg\/\u27e9 (Dec. 24 2013)."},{"key":"e_1_3_2_37_1","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0887-3801(2010)24:2(203)"},{"key":"e_1_3_2_38_1","unstructured":"Yurchyshyna A. Faron-Zucker C. Thanh N. L. and Zarli A. (2008). \u201cTowards an ontology-enabled approach for modeling the process of conformity checking in construction.\u201d Proc. CAiSE\u201908 Forum 20th Int. Conf. on Advanced Information Systems Engineering dblp team Germany 21\u201324."},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12436-5_10"},{"key":"e_1_3_2_40_1","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)CP.1943-5487.0000427"},{"key":"e_1_3_2_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2012.05.006"},{"key":"e_1_3_2_42_1","unstructured":"Zhou N. (2012). \u201cB-Prolog user\u2019s manual (version 7.8): Prolog agent and constraint programming.\u201d \u27e8http:\/\/www.probp.com\/manual\/manual.html\u27e9 (Dec. 28 2013)."}],"container-title":["Journal of Computing in Civil Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/ascelibrary.org\/doi\/pdf\/10.1061\/%28ASCE%29CP.1943-5487.0000583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T22:23:02Z","timestamp":1654813382000},"score":1,"resource":{"primary":{"URL":"https:\/\/ascelibrary.org\/doi\/10.1061\/%28ASCE%29CP.1943-5487.0000583"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1061\/(ASCE)CP.1943-5487.0000583"],"URL":"https:\/\/doi.org\/10.1061\/(asce)cp.1943-5487.0000583","relation":{},"ISSN":["0887-3801","1943-5487"],"issn-type":[{"value":"0887-3801","type":"print"},{"value":"1943-5487","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2014-12-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-01-04","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"04016037"}}