{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T20:41:58Z","timestamp":1762980118075},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,10,4]],"date-time":"2014-10-04T00:00:00Z","timestamp":1412380800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10846-014-0120-z","type":"journal-article","created":{"date-parts":[[2014,10,3]],"date-time":"2014-10-03T08:32:49Z","timestamp":1412325169000},"page":"549-576","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["A BIM-based Code Compliance Checking Process of Deep Foundation Construction Plans"],"prefix":"10.1007","volume":"79","author":[{"given":"Hanbin","family":"Luo","sequence":"first","affiliation":[]},{"given":"Peisong","family":"Gong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,4]]},"reference":[{"key":"120_CR1","doi-asserted-by":"crossref","unstructured":"HongboZhou, Hui Zhang: Risk assessment methodology for a deep foundation pit construction project in Shanghai, China. J. Constr. Eng. Manag. 137, 1185\u20131194 (2011)","DOI":"10.1061\/(ASCE)CO.1943-7862.0000391"},{"key":"120_CR2","first-page":"28","volume":"84","author":"SP Chiew","year":"2006","unstructured":"Chiew, S.P.: Behaviour of strut-waler connections with different stiffening details. Struct. Eng. 84, 28\u201331 (2006)","journal-title":"Struct. Eng."},{"key":"120_CR3","first-page":"239","volume":"1","author":"H Zhao","year":"2008","unstructured":"Zhao, H., Li, Y.J.: Study on engineering project risk management based on Bayesian network. Shenyang Univ. of Technology 1, 239\u2013243 (2008)","journal-title":"Shenyang Univ. of Technology"},{"key":"120_CR4","unstructured":"Wang, X. M.: Fifty millions RMB will be compensated to Hangzhou Metro for the accident by six insurance agents (2008). http:\/\/news.21cn.com\/domestic\/difang\/2008\/11\/19\/5491008_1.shtml"},{"key":"120_CR5","unstructured":"T&TI, Sao Paulo metro shaft collapse. Accessed 17 Feb 2007 (2007). www.tunnelsonline.info"},{"key":"120_CR6","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.amc.2007.04.088","volume":"195","author":"Y Shiwei","year":"2008","unstructured":"Shiwei, Y., Zhu, K.: A dynamic all parameters adaptive BP neural networks model and its application on oil reservoir prediction. Appl. Math. Comput. 195, 66\u201375 (2008)","journal-title":"Appl. Math. Comput."},{"key":"120_CR7","unstructured":"Song Yi, Liangbo Quan : Ten months 13 death by safety accident in Shenzhen subway construction site. Accessed 18 Oct 2009 (2009). http:\/\/news.ycwb.com\/2009-10\/28\/content_2309047_2.htm"},{"key":"120_CR8","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.ssci.2007.06.032","volume":"46","author":"ACP Frijters","year":"2008","unstructured":"Frijters, A.C.P., Swuste, P.H.J.J.: Safety Assessment in Design and Preparation Phase. Saf. Sci. 46, 272\u2013281 (2008)","journal-title":"Saf. Sci."},{"key":"120_CR9","unstructured":"Ministry of Housing and Urban-Rural Development of The People\u2019s Republic of China, Management Method for High Risk Division Components in Chinese (2009)"},{"key":"120_CR10","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.autcon.2012.05.006","volume":"29","author":"S Zhang","year":"2013","unstructured":"Zhang, S., Teizer, J., Lee, J.-K.: Building information modeling(BIM) and safety: automatic safety checking of construction models and schedules. Autom. in Constr. 29, 183\u2013195 (2013)","journal-title":"Autom. in Constr."},{"key":"120_CR11","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.autcon.2007.03.002","volume":"17","author":"F Boukamp","year":"2007","unstructured":"Boukamp, F., Akinci, B.: Automated processing of construction specifications to support inspection and quality control. Autom. in Constr. 17, 90\u2013106 (2007)","journal-title":"Autom. in Constr."},{"key":"120_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1061\/(ASCE)0887-3801(2010)24:2(203)","volume":"24","author":"A Hammad","year":"2010","unstructured":"X.Tan, Hammad, A., Fazio, P.: Automated code compliance checking for building envelope design. J. Comput. Civ. Eng. 24, 203\u2013211 (2010)","journal-title":"J. Comput. Civ. Eng."},{"key":"120_CR13","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1016\/j.autcon.2009.07.002","volume":"18","author":"C Eastman","year":"2009","unstructured":"Eastman, C., Lee, J., Jeong, Y., Lee, J.: Automatic rule-based checking of building designs. Autom. Constr 18, 1011\u20131033 (2009)","journal-title":"Autom. Constr"},{"key":"120_CR14","volume-title":"BIM Handbook: a Guide to Building Information Modeling for Owners, Managers, Architects, Engineers, Contractors and Fabricators","author":"C Eastman","year":"2011","unstructured":"Eastman, C., Teicholz, P., Sacks, R. , Liston, K.: BIM Handbook: a Guide to Building Information Modeling for Owners, Managers, Architects, Engineers, Contractors and Fabricators. Wiley, Hoboken (2011)"},{"key":"120_CR15","unstructured":"Khemlani, K.: CORENET e-PlanCheck: Singapore\u2019s Automated Code Checking System (2005). http:\/\/www.aecbytes.com\/buildingthefuture\/2005\/CORENETePlanCheck.html"},{"key":"120_CR16","unstructured":"Construction and Real Estate NETwork, Collaboration Partners (2014). http:\/\/www.corenet.gov.sg\/"},{"key":"120_CR17","unstructured":"Conover, D.: Development and Implementationof Automated Code Compliance Checking in the U.S., International Code Council (2007)"},{"key":"120_CR18","unstructured":"International Code Council, About ICC (2014). http:\/\/www.iccsafe.org\/AboutICC\/Pages\/default.aspx"},{"key":"120_CR19","unstructured":"Jain, D., Law, K.H., Karwinkler, H.: On processing standards with predicate calculus. In: Proceedings of the 16th Conference on Computing in Civil Engineering, ASCE, Atlanta (1989)"},{"key":"120_CR20","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1061\/(ASCE)0887-3801(1990)4:2(102)","volume":"4","author":"WJ Rasdorf","year":"1990","unstructured":"Rasdorf, W.J., Lakmazaheri, S.: Logic-based approach for modeling organization of design standards. J. Comput. Civ. Eng. 4, 102\u2013123 (1990)","journal-title":"J. Comput. Civ. Eng."},{"key":"120_CR21","doi-asserted-by":"crossref","unstructured":"Kim, H., Grobler, F.: Design coordination in building information modeling using ontological consistency checking. In: Proceedings of the ASCE International Workshop on Computing in Civil Engineering, Vol. 1, pp 410\u2013421 (2009)","DOI":"10.1061\/41052(346)41"},{"key":"120_CR22","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1016\/j.autcon.2010.11.017","volume":"20","author":"P Pauwels","year":"2011","unstructured":"Pauwels, P., Van Deursen, D., Verstraeten, R., De Roo, J.: A semantic rule checking environment for building performance checking. Autom. Constr. 20, 506\u2013518 (2011)","journal-title":"Autom. Constr."},{"key":"120_CR23","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.autcon.2012.06.006","volume":"28","author":"BT Zhong","year":"2012","unstructured":"Zhong, B.T., Ding, L.Y., Luo, H.B., Zhou, Y., Hu, H.M.: Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking. Autom. Constr. 28, 58\u201370 (2012)","journal-title":"Autom. Constr."},{"key":"120_CR24","first-page":"473","volume":"92","author":"SJ Fenves","year":"1966","unstructured":"Fenves, S.J.: Tabular decision logic for structural design. J. Struct. Eng. 92, 473\u2013490 (1966)","journal-title":"J. Struct. Eng."},{"key":"120_CR25","unstructured":"Nyman, D.J., Fenves, S.J., Wright, R.N.: Restructuring study of the AISC specification, Civil Engineering Standards, SRS 393, Department of Civil Engineering, University of Illinois at Urbana-Champaign, IL (1973)"},{"key":"120_CR26","doi-asserted-by":"crossref","unstructured":"Fenves, S.J., Wright, R.N.: The representation and use of design specifications, Technical Note 940, NBS, Washington, DC (1977)","DOI":"10.6028\/NBS.TN.940"},{"key":"120_CR27","unstructured":"Fenves, S.J. , Garrett, J.H. , Kiliccote, H., Law, K.H., Reed, K.A.: Computer representations of design standards and building codes: U.S. perspective, The International Journal of Construction Information Technology, University of Salford,U.K (1995)"},{"key":"120_CR28","doi-asserted-by":"crossref","unstructured":"Fenves, S.J., Wright, R.N., Stahl, F.I., Reed, K.A.: Introduction to SASE: Standards Analysis, Synthesis, and Expression, Report NBSIR 87-3513 U.S, Department of Commerce, National Bureau of Standards (1987)","DOI":"10.6028\/NBS.IR.87-3513"},{"key":"120_CR29","doi-asserted-by":"crossref","unstructured":"Kerrigan, S. , Law, K.: Logic-based regulation compliance-assistance. In: Proceedings of The 9th International Conference on Artificial Intelligence and Law, Edinburgh (2003)","DOI":"10.1145\/1047788.1047820"},{"key":"120_CR30","unstructured":"MVD, The Model View Definition, IFC Solutions Factory (2011). http:\/\/www.blisproject.org\/IAI-MVD"},{"key":"120_CR31","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1061\/(ASCE)0887-3801(1998)12:4(181)","volume":"12","author":"C Han","year":"1998","unstructured":"Han, C., Kunz, J., Law, K.: Client\/server framework for on-line building code checking. J. Comput. Civ. Eng. 12, 181\u2013194 (1998)","journal-title":"J. Comput. Civ. Eng."},{"key":"120_CR32","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.aei.2008.06.005","volume":"23","author":"A Borrmann","year":"2009","unstructured":"Borrmann, A., Rank, E.: Specification and implementation of directional operatorsin a 3D spatial query language for building information models. Adv. Eng. Inform. 23, 32\u201344 (2009)","journal-title":"Adv. Eng. Inform."},{"key":"120_CR33","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.autcon.2012.03.002","volume":"24","author":"J-K Lee","year":"2012","unstructured":"Lee, J.-K., Lee, J., Jeong, Y.-S., Sheward, H.: Development of space database for automated building design review systems. Autom. Constr. 24, 203\u2013212 (2012)","journal-title":"Autom. Constr."},{"key":"120_CR34","doi-asserted-by":"crossref","unstructured":"Eastman, C.M. , Teicholz, P. , Sacks, R. , Liston, K.: BIM Handbook-A guide to Building Information Modeling for Owners, Managers, Designers, engineers, and Contractors. Wiley (2008)","DOI":"10.1002\/9780470261309"},{"key":"120_CR35","unstructured":"MVD, The Model View Definition, IFC Solutions Factory (2011). http:\/\/www.blisproject.org\/IAI-MVD"},{"key":"120_CR36","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.autcon.2012.05.006","volume":"29","author":"S Zhang","year":"2013","unstructured":"Zhang, S, Teizer, J., Lee, J.-K. , Eastman, C.M. , Venugopal, M.: Building information modeling (BIM) and safety: Automatic safety checking of construction models and schedules. Autom. Constr. 29, 183\u2013195 (2013)","journal-title":"Autom. Constr."},{"key":"120_CR37","unstructured":"Liebich, T. , Adachi, Y. , Forester, J. , Hyvarinen, J. : Industry Foundation Classes IFC23, International Alliance for Interoperability (2006)"},{"key":"120_CR38","unstructured":"Solibri Inc, The world leader in design spell checking (2009). http:\/\/www.solibri.com\/index.php?option=com_content&task=view&id=14&Itemid=31"},{"key":"120_CR39","unstructured":"Lee, J.-K: Building environment rule and analysis (BERA) language and its application for evaluating building circulation and spatial program, Ph.D. Dissertation, Georgia Institute of Technology (2011)"},{"key":"120_CR40","doi-asserted-by":"crossref","unstructured":"Pauwels, P. , De Meyer, R. , Van Campenhout, R.: Interoperability for The Design and Construction Industry through Semantic Web Technology, 5th International Conference on Semantic and Digital Media Technologies (SAMT), Saarbr\u00fccken, Germany (2010)","DOI":"10.1007\/978-3-642-23017-2_10"},{"key":"120_CR41","unstructured":"Hubei Department of Construction, Hubei technical specification for engineering of foundation excavation DB42\/159-2004, Hubei Department of Construction (in Chinese) (2004)"},{"key":"120_CR42","unstructured":"Guo, Y.: Comprehensive Evaluation Theory, Methods and Extensions, (in Chinese). Science Press, Beijing (2004)"},{"key":"120_CR43","unstructured":"Karlshoj, J.: Information Delivery Manual: Roadmap (2011). http:\/\/iug.buildingsmart.com\/idms\/roadmap\/IDM_Roadmap_1_1.pdf\/view"},{"key":"120_CR44","unstructured":"Cooper, R, Kagioglou, M, Aouad, G: Development of a Generic Design and Construction Process, European Conference on Product Data Technology, pp 205\u2013214 (1998)"},{"key":"120_CR45","unstructured":"Zhou, C.: Research on IDM-based Building Information Delivery Standard, M.D. dissertation, Shanghai Jiao Tong University (in Chinese) (2013)"},{"key":"120_CR46","unstructured":"China Academy of Building Research, Technical Specification for Retaining and Protection of Building Foundation Excavations JGJ 120-99, China Academy of Building Research (in Chinese) (1998)"}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-014-0120-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10846-014-0120-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-014-0120-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T20:05:28Z","timestamp":1565899528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10846-014-0120-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,4]]},"references-count":46,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["120"],"URL":"https:\/\/doi.org\/10.1007\/s10846-014-0120-z","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,4]]}}}