Ontological Analysis and Engineering Standards: An Initial Study of IFC

There is an increasing interest in developing ontological versions of engineering standards. In general, this amounts to restating a given standard in some ontological language like OWL. We observe that without an ontological analysis of the standard, the conversion neither improves the clarity of the standard nor facilitates its coherent application. In this chapter we begin to study the Industry Foundation Classes (IFC), a standard providing an open vendor-independent file format and data model for data interoperability and exchange for Architecture/Engineering/Construction and Facility Management. We first look at IFC and at an existing OWL version of IFC; then, we highlight the implicit assumptions and we apply ontological analysis to discuss how to best grasp the type/occurrence distinction in IFC. The goal is to show what has been done in IFC and the contribution of ontological analysis to help increasing the correct understanding of a standard. With this approach, we reach a deeper understanding, which can guide the translation from the original language to OWL with increased conceptual clarity while ensuring both logical coherence and ontological soundness.

[1]  Jakob Beetz,et al.  An Ontology Web Language Notation of the Industry Foundation Classes , 2005 .

[2]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[3]  Riichiro Mizoguchi,et al.  Deployment of an ontological framework of functional design knowledge , 2004, Adv. Eng. Informatics.

[4]  Barry Smith,et al.  Basic Concepts of Formal Ontology , 1998 .

[5]  Antoni Świć,et al.  A multiple-criteria approach to machine-tool selection for focused flexibility manufacturing systems , 2011 .

[6]  Giulia Pedrielli,et al.  Integrated virtual platform for manufacturing systems design , 2013 .

[7]  Stefano Borgo,et al.  Events and Activities: Is there an Ontology behind BPMN? , 2014, FOIS.

[8]  Stefano Borgo,et al.  Foundational Choices in DOLCE , 2009, Handbook on Ontologies.

[9]  Marco Sacco,et al.  A survey of RDF store solutions , 2014, 2014 International Conference on Engineering, Technology and Innovation (ICE).

[10]  Xenia Fiorentini,et al.  OntoSTEP: OWL-DL Ontology for STEP | NIST , 2009 .

[11]  Roger Frost,et al.  International Organization for Standardization (ISO) , 2004 .

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

[13]  Robin Drogemuller,et al.  Converting the Industry Foundation Classes to the Web Ontology Language , 2005, 2005 First International Conference on Semantics, Knowledge and Grid.

[14]  Giulia Pedrielli,et al.  Virtual factory data model , 2012 .

[15]  Les A. Piegl,et al.  Algorithm for the Removal of Rectangle Containment for Rectangle Spline Generation , 2015 .

[16]  Tullio Tolio,et al.  Design of Focused Flexibility Manufacturing Systems (FFMSs) , 2009 .

[17]  Stefano Mottura,et al.  GIOVE Virtual Factory: A New Viewer for a More Immersive Role of the User During Factory Design , 2011 .

[18]  Stefano Borgo,et al.  Foundations for a Core Ontology of Manufacturing , 2007, Ontologies.

[19]  Naim Dahnoun,et al.  Studies in Computational Intelligence , 2013 .

[20]  Pieter Pauwels,et al.  A semantic rule checking environment for building performance checking , 2011 .

[21]  Line C. Pouchard,et al.  Ontologies and standards-based approaches to interoperability for Concurrent Engineering. , 2006 .

[22]  Vladimir Bazjanac,et al.  The Implementation of Industry Foundation Classes in Simulation Tools for the Building Industry , 1997 .

[23]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[24]  Botond Kádár,et al.  Semantic Virtual Factory supporting interoperable modelling and evaluation of production systems , 2013 .

[25]  Stefano Borgo,et al.  Technical artifacts: An integrated perspective , 2014, Appl. Ontology.

[26]  A. Rector,et al.  Relations in biomedical ontologies , 2005, Genome Biology.

[27]  Tullio Tolio,et al.  Product-Process-System Information Formalization , 2009 .

[28]  Stefano Borgo,et al.  How Formal Ontology can help Civil Engineers , 2007, Ontologies for Urban Development.

[29]  Walter Terkaj,et al.  Ontology-based modeling of production systems for design and performance evaluation , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[30]  Stefano Borgo,et al.  Towards an Ontological Grounding of IFC , 2014, FOMI@FOIS.

[31]  Raimar J. Scherer,et al.  An ontology framework to access IFC model data , 2003, J. Inf. Technol. Constr..

[32]  W. Hodges.  Elementary Predicate Logic , 1983 .

[33]  Catarina Ferreira Da Silva,et al.  Setting up the Open Semantic Infrastructure for the European Construction Sector - the FUNSIEC Project , 2004 .

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

[35]  Tullio Tolio,et al.  Development of a Conceptual Reference Framework to Manage Manufacturing Knowledge Related to Products, Processes and Production Systems , 2008 .

[36]  Tullio Tolio,et al.  A stochastic programming approach to support the machine tool builder in designing Focused Flexibility Manufacturing Systems (FFMSs) , 2010, Int. J. Manuf. Res..

[37]  Stefano Gagliardo,et al.  An Ontology-based Framework for Sustainable Factories , 2014 .

[38]  Catarina Ferreira Da Silva,et al.  Setting up the open semantic infrastructure for the construction sector in Europe, the FUNSIEC project , 2004 .

[39]  Diego Rovere,et al.  Virtual Factory Manager , 2011, HCI.

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

[41]  Barry Smith.  Against Idiosyncrasy in Ontology Development , 2006, FOIS.

[42]  Michael Gruninger,et al.  Using the PSL Ontology , 2009 .

[43]  Arto Kiviniemi,et al.  The IFC Standard - A Review of History, Development, and Standardization , 2012, J. Inf. Technol. Constr..

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

[45]  Matthew West.  Developing High Quality Data Models , 2011 .

[46]  Stefano Borgo,et al.  Artefacts in Formal Ontology , 2009 .

[47]  Stefano Borgo,et al.  A Formalization of Functions as Operations on Flows , 2011, J. Comput. Inf. Sci. Eng..

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

[49]  Rajiv Kishore,et al.  Ontologies: A Handbook of Principles, Concepts and Applications in Information Systems , 2007, Ontologies.

[50]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[51]  Ram D. Sriram,et al.  The Role of Knowledge in Next-generation Product Development Systems , 2001, J. Comput. Inf. Sci. Eng..

[52]  Sebti Foufou,et al.  OntoSTEP: Enriching product model data using ontologies , 2012, Comput. Aided Des..

[53]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[54]  Antoni Świć,et al.  Computer aided FMS machine tools subsystem selection using the evolutionary system of multicriteria analysis , 2011 .

[55]  Diego Rovere,et al.  Virtual Factory Manager for semantic data handling , 2013 .