On the Importance of Truly Ontological Distinctions for Ontology Representation Languages: An Industrial Case Study in the Domain of Oil and Gas

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. We make explicit the differences between two different representations in this domain, 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]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

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

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

[4]  Christian S. Jensen,et al.  Capturing Temporal Constraints in Temporal ER Models , 2008, ER.

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

[6]  N. Guarino,et al.  Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy , 1998 .

[7]  GuizzardiGiancarlo,et al.  Ontological foundations for conceptual modelling , 2008 .

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

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

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

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

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

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

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

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

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

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

[18]  Uttam Chaudhuri,et al.  Fundamentals of Petroleum and Petrochemical Engineering , 2010 .