An ontology-based analysis of the industry foundation class schema for building information model exchanges

Robust knowledge sharing frameworks between different stakeholders in a building project is of high priority. Industry Foundation Classes (IFC) provides a rich schema for interoperability through object-based transactions. However, IFC lacks semantic clarity in mapping entities and relationships, resulting in multiple definitions to map the same information between different federated models. The objective of this research is to examine IFC from a perspective of an ontological framework, which can make the IFC definitions more formal, consistent and unambiguous. Different methods of ontological approaches to engineering knowledge are reviewed. Various issues such as the need for a logical framework, the current semantic approaches in the AEC/FM industry, and advantages of building an ontology structure are addressed. A comparative study of the ontology and segments of the existing IFC schema definition are performed. This exercise reveals the ambiguous nature of current IFC definitions and proposes reforms such that data exchanges would be more semantically robust. An ontology would structure the overall interoperability of BIM tools by providing a formal and consistent taxonomy and classification structure for extending IFC and for defining subsets as model view definitions (MVD).

[1]  Manu Venugopal,et al.  Formal specification of industry foundation class concepts using engineering ontologies , 2011 .

[2]  Ashok K. Goel,et al.  Structure, behavior, and function of complex systems: The structure, behavior, and function modeling language , 2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[3]  Charles M. Eastman,et al.  Configurable Model Exchanges for the Precast/Pre-Stressed Concrete Industry Using Semantic Exchange Modules (SEM) , 2012 .

[4]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[5]  W. N. Borst,et al.  Construction of Engineering Ontologies for Knowledge Sharing and Reuse , 1997 .

[6]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[7]  Eilif Hjelseth,et al.  EXPLORING SEMANTIC BASED MODEL CHECKING , 2010 .

[8]  Steffen Staab,et al.  OntoEdit: Collaborative Ontology Development for the Semantic Web , 2002, SEMWEB.

[9]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[10]  Rose Dieng,et al.  Knowledge Engineering and Knowledge Management Methods, Models, and Tools , 2002, Lecture Notes in Computer Science.

[11]  J FenvesS,et al.  A WWW-based regulation broker , 1996 .

[12]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[13]  Nicola Guarino,et al.  Logical Modelling of Product Knowledge: Towards a Well-Founded Semantics for STEP , 2007 .

[14]  Les A. Piegl,et al.  Fundamental developments of computer-aided geometric modeling , 1993 .

[15]  Nicola Guarino,et al.  The Won-derWeb Library of Foundational Ontologies , 2002 .

[16]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[17]  S. J. Fenves,et al.  A broker for tracking, delivering and using regulations over the World Wide Web , 1996, Proceedings of the 1996 IEEE International Symposium on Electronics and the Environment. ISEE-1996.

[18]  Carlos H. Caldas,et al.  Integration of Construction Documents in IFC Project Models , 2003 .

[19]  Ian F. C. Smith,et al.  Intelligent computing in engineering and architecture , 2008, Adv. Eng. Informatics.

[20]  Charles M. Eastman,et al.  Exchange Model and Exchange Object Concepts for Implementation of National BIM Standards , 2010, J. Comput. Civ. Eng..

[21]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

[22]  B. Chandrasekaran,et al.  Reasoning about structure, behavior and function , 1985, SGAR.

[23]  Boris Motik,et al.  Ontologies for Enterprise Knowledge Management , 2003, IEEE Intell. Syst..

[24]  B. Chandrasekaran,et al.  Functional representation: A brief historical perspective , 1994, Appl. Artif. Intell..

[25]  Nicola Guarino,et al.  WonderWeb Deliverable D17. The WonderWeb Library of Foundational Ontologies and the DOLCE ontology , 2002 .

[26]  Charles M. Eastman,et al.  BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors , 2008 .

[27]  Georg Lausen,et al.  Ontologies in F-logic , 2004, Handbook on Ontologies.

[28]  Tania Tudorache,et al.  Employing Ontologies for an Improved Development Process in Collaborative Engineering , 2006 .

[29]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[30]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[31]  Charles M. Eastman,et al.  Semantics of model views for information exchanges using the industry foundation class schema , 2012, Adv. Eng. Informatics.

[32]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[33]  Mark A. Musen,et al.  Automated Support for Building and Extending Expert Models , 2005, Machine Learning.

[34]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[35]  Ian Smith Intelligent Computing in Engineering and Architecture, 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers , 2006, EG-ICE.

[36]  Douglas A. Schenck,et al.  Information modeling: the EXPRESS way , 1994 .

[37]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[38]  James H. Garrett,et al.  JAVA-BASED REGULATION BROKER , 2000 .

[39]  Y. Zhang,et al.  Semantic interoperability in building design: Methods and tools , 2006, Comput. Aided Des..

[40]  Les Gasser,et al.  Methodology for the Integration of Project Documents in Model-Based Information Systems , 2005 .

[41]  P. Simons Parts: A Study in Ontology , 1991 .

[42]  Charles M. Eastman,et al.  Automatic rule-based checking of building designs , 2009 .

[43]  Asunción Gómez-Pérez,et al.  Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[44]  Asunción Gómez-Pérez,et al.  WEBODE in a Nutshell , 2003, AI Mag..

[45]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[46]  Manu Venugopal,et al.  INTRODUCING A NEW METHODOLOGY TO DEVELOP THE INFORMATION DELIVERY MANUAL FOR AEC PROJECTS , 2010 .

[47]  Martin Fischer,et al.  THE SCOPE AND ROLE OF INFORMATION TECHNOLOGY IN CONSTRUCTION , 2004 .

[48]  Jakob Beetz,et al.  IfcOWL: A case of transforming EXPRESS schemas into ontologies , 2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.