{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T00:07:54Z","timestamp":1781309274450,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642402845","type":"print"},{"value":"9783642402852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40285-2_32","type":"book-chapter","created":{"date-parts":[[2013,8,17]],"date-time":"2013-08-17T08:02:58Z","timestamp":1376726578000},"page":"366-380","source":"Crossref","is-referenced-by-count":15,"title":["Towards Automated Compliance Checking in the Construction Industry"],"prefix":"10.1007","author":[{"given":"Thomas H.","family":"Beach","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tala","family":"Kasim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haijiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicholas","family":"Nisbet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yacine","family":"Rezgui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Industry Foundation Classes ISO\/PAS 16739:2005"},{"key":"32_CR2","unstructured":"BuildingSmart, \n                    \n                      http:\/\/www.buildingsmart.org\/\n                    \n                    \n                   (access March 2013)"},{"key":"32_CR3","unstructured":"Solibri Model Checker, \n                    \n                      http:\/\/www.solibri.com\/\n                    \n                    \n                   (access March 2013)"},{"key":"32_CR4","unstructured":"DROOLS Expert - Rule Engine, \n                    \n                      http:\/\/www.jboss.org\/drools\/\n                    \n                    \n                   (accessed March 2013)"},{"key":"32_CR5","unstructured":"Autodesk Revit Architecture \u2013 available at: \n                    \n                      http:\/\/usa.autodesk.com\/revit-architecture\/\n                    \n                    \n                   (last accessed: January 15, 2013)"},{"key":"32_CR6","unstructured":"Bentley Systems \u2013 available at: \n                    \n                      http:\/\/www.bentley.com\n                    \n                    \n                   (last accessed: January 15, 2013)"},{"key":"32_CR7","first-page":"59","volume-title":"Proceedings of the 11th International Conference on Artificial Intelligence and Law, ICAIL 2007","author":"C.P. Cheng","year":"2007","unstructured":"Cheng, C.P., Lau, G.T., Law, K.H.: Mapping regulations to industry-specific taxonomies. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, ICAIL 2007, pp. 59\u201363. ACM, New York (2007)"},{"issue":"8","key":"32_CR8","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1016\/j.autcon.2009.07.002","volume":"18","author":"C. Eastman","year":"2009","unstructured":"Eastman, C., Lee, J.M., Jeong, Y.S., Lee, J.K.: Automatic rule-based checking of building designs. Automation in Construction\u00a018(8), 1011\u20131033 (2009)","journal-title":"Automation in Construction"},{"key":"32_CR9","unstructured":"UK\u00a0Government\u00a0Department for Communities and Local Government. Code for Sustainable Homes Technical Guide. Technical report (2010)"},{"key":"32_CR10","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: Proceedings of the 2005 Conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference, Amsterdam, The Netherlands, pp. 37\u201348. IOS Press (2005)"},{"key":"32_CR11","unstructured":"BRE Global. BREEAM Technical Guide V2.0. Technical report, BRE Global (2011)"},{"key":"32_CR12","unstructured":"Hjelseth, E., Nisbet, N.: Exploring semantic based model checking. In: Proceedings of the 2010 27th CIB W78 International Conference, vol.\u00a0(54) (2010)"},{"key":"32_CR13","unstructured":"Liebich, T., Wix, J., Forester, J.: Speeding-up Building Plan Approvals:The Singapore e-Plan Checking project offers automatic plan checking based on IFC. In: European Conferences on Product and Process Modelling (2002)"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Rezgui, Y., Miles, J.: Harvesting and Managing Knowledge in Construction: From theoretical foundations to business applications. Taylor & Francis (2011)","DOI":"10.4324\/9780203876091"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Rezgui, Y., Beach, T., Rana, O.F.: A Governance Approach for BIM Management across Lifecycle and Supply Chains Using Mixed-Modes of Information Delivery. Journal of Civil Engineering and Management 2 (2013)","DOI":"10.3846\/13923730.2012.760480"},{"issue":"6","key":"32_CR16","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.buildenv.2003.12.004","volume":"39","author":"Q.Z. Yang","year":"2004","unstructured":"Yang, Q.Z., Xu, X.: Design knowledge modeling and software implementation for building code compliance checking. Building and Environment\u00a039(6), 689\u2013698 (2004)","journal-title":"Building and Environment"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40285-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T13:59:59Z","timestamp":1558015199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40285-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402845","9783642402852"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40285-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}