An Ontological Core for Conformance Checking in the Engineering Life-cycle

Effective exchange of information about processes and industrial plants, their design, construction, operation, and maintenance requires sophisticated information modelling and exchange mechanisms that enable the transfer of semantically meaningful information between a vast pool of heterogeneous information systems. In order to represent entities relevant to the engineering life-cycle, social concepts, descriptions, roles, artefacts, functions, and information objects must be integrated in a coherent whole. Forming the basis of this integration in our framework is the DOLCE foundational ontology. In this paper we propose an ontologically well-founded approach to modelling artefacts, their requirement specifications and functional roles, such that consistency of their relationships in the data model can be verified. Specifically, we discuss the modelling of engineering artefacts, roles and role-filling capacity in the context of data modelling for industrial information exchange.

[1]  Riichiro Mizoguchi,et al.  An ontological model of device function: industrial deployment and lessons learned , 2006, Appl. Ontology.

[2]  Giancarlo Guizzardi,et al.  Relational roles and qua-individuals , 2005, AAAI 2005.

[3]  Nicola Guarino,et al.  Supporting ontological analysis of taxonomic relationships , 2001, Data Knowl. Eng..

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

[5]  B. Chandrasekaran,et al.  Function in Device Representation , 2000, Engineering with Computers.

[6]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[7]  Stefano Borgo,et al.  An ontological approach for reliable data integration in the industrial domain , 2014, Comput. Ind..

[8]  Stefano Borgo,et al.  Technical Artifact: An Integrated Perspective , 2011, FOMI.

[9]  Riichiro Mizoguchi,et al.  Ontological analyses of roles , 2012, 2012 Federated Conference on Computer Science and Information Systems (FedCSIS).

[10]  Pieter E. Vermaas,et al.  On What Is Made: Instruments, Products and Natural Kinds of Artefacts , 2014 .

[11]  Stefano Borgo,et al.  FORMALIZATIONS OF FUNCTIONS WITHIN THE DOLCE ONTOLOGY , 2010 .

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

[13]  Kristin L. Wood,et al.  Development of a Functional Basis for Design , 2000 .

[14]  Juan de Lara,et al.  Deep Meta-modelling with MetaDepth , 2010, TOOLS.

[15]  Jan Morbach,et al.  Information integration in chemical process engineering based on semantic technologies , 2011, Comput. Chem. Eng..

[16]  Colin Atkinson,et al.  A Flexible Infrastructure for Multilevel Language Engineering , 2009, IEEE Transactions on Software Engineering.

[17]  Nicola Guarino,et al.  Artefactual Systems, Missing Components and Replaceability , 2014 .

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

[19]  Giancarlo Guizzardi,et al.  A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling , 2012, SLE.

[20]  Stefano Borgo,et al.  Towards A Unified Definition of Function , 2012, FOIS.