The Role of Foundational Ontologies for Domain Ontology Engineering: An Industrial Case Study in the Domain of Oil and Gas Exploration and Production

Ontologies are commonly used in computer science either as a reference model to support semantic interoperability, or as an artifact that should be efficiently represented to support tractable automated reasoning. This duality poses a tradeoff between expressivity and computational tractability that should be addressed in different phases of an ontology engineering process. The inadequate choice of a modeling language, disregarding the goal of each ontology engineering phase, can lead to serious problems in the deployment of the resulting model. This article discusses these issues by making use of an industrial case study in the domain of Oil and Gas. The authors make the differences between two different representations in this domain explicit, and highlight a number of concepts and ideas that were implicit in an original OWL-DL model and that became explicit by applying the methodological directives underlying an ontologically well-founded modeling language.

[1]  Gerd Wagner,et al.  What's in a Relationship: An Ontological Analysis , 2008, ER.

[2]  C. Maria Keet,et al.  Essential and Mandatory Part-Whole Relations in Conceptual Data Models , 2008, Description Logics.

[3]  Giancarlo Guizzardi,et al.  Representing and reasoning over a taxonomy of part-whole relations , 2008, Appl. Ontology.

[4]  Jon Atle Gulla,et al.  Semantic Interoperability in Multi-Disciplinary Domain. Applications in Petroleum Industry , 2006, C&O@ECAI.

[5]  Flávia Maria Santoro,et al.  Towards a Data Integration Approach Based on Business Process Models and Domain Ontologies , 2008, ICEIS.

[6]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[7]  Giancarlo Guizzardi,et al.  On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models , 2007, DB&IS.

[8]  Giancarlo Guizzardi,et al.  Assessing Modal Aspects of OntoUML Conceptual Models in Alloy , 2009, ER Workshops.

[9]  Corin A. Gurr,et al.  Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues , 1999, J. Vis. Lang. Comput..

[10]  Robert Hoehndorf,et al.  A top-level ontology of functions and its application in the Open Biomedical Ontologies , 2006, ISMB.

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

[12]  Sergey Lukichev,et al.  UML-based Rule Modeling with Fujaba , 2006 .

[13]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[14]  G. Guizzardi,et al.  The role of foundational ontologies for conceptual modeling and domain ontology representation , 2006, 2006 7th International Baltic Conference on Databases and Information Systems.

[15]  Giancarlo Guizzardi,et al.  A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML , 2009, ICEIS.

[16]  Ron Weber,et al.  Ontological foundations of information systems , 1997 .

[17]  Jon Atle Gulla,et al.  Semantic Interoperability in the Norwegian Petroleum Industry , 2006, ISTA.

[18]  Werner Ceusters,et al.  Ontological Theory for Ontological Engineering , 2004, KR 2004.

[19]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[20]  Paolo Traverso,et al.  Service-Oriented Computing: a Research Roadmap , 2008, Int. J. Cooperative Inf. Syst..

[21]  Richard R. Weber.  Ontological Foundations of Information Systems: Coopers and Lybrand , 1997 .

[22]  Gerd Wagner,et al.  An Ontologically Well-Founded Profile for UML Conceptual Models , 2004, CAiSE.

[23]  Amie L. Thomasson.  Fiction and metaphysics , 1998 .

[24]  Didier Dubois,et al.  Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 , 2004, KR.

[25]  Giancarlo Guizzardi,et al.  The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited , 2009, CAiSE.

[26]  C. Maria Keet,et al.  Representing and reasoning over a taxonomy of part-whole relations , 2008 .

[27]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[28]  George H. Mealy,et al.  Another look at data , 1967, AFIPS '67 (Fall).

[29]  David Norheim.  AKSIO - Active knowledge management in the petroleum industry , 2006 .