A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling

In recent years, there has been a growing interest in the use of Foundational Ontologies, i.e., ontological theories in the philosophical sense to provide real-world semantics and principled modeling guidelines for conceptual domain modeling languages. In this paper, we demonstrate how a philosophically sound and cognitively-oriented ontological theory of objects and moments (property-instances) has been used to: (i) (re)design a system of modeling primitives underlying the conceptual domain modeling language OntoUML; (ii) derive supporting technology for mapping these conceptual domain models to less-expressive computationally-oriented codification languages. In particular, we address here a mapping strategy to OWL (Web Ontology Language) which addresses the issue of temporally changing information.

[1]  Giancarlo Guizzardi,et al.  Ontological Meta-properties of Derived Object Types , 2012, CAiSE.

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

[3]  Roel Wieringa,et al.  Using Dynamic Classes and Role Classes to Model Object Migration , 1995, Theory Pract. Object Syst..

[4]  Achille C. Varzi.  Naming the Stages , 2005 .

[5]  Marta Indulska,et al.  Do Ontological Deficiencies in Modeling Grammars Matter? , 2011, MIS Q..

[6]  Remko Muis,et al.  Four-Dimensionalism: An Ontology of Persistence and Time , 2005 .

[7]  Tok Wang Ling,et al.  Conceptual Modeling - ER 2011, 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings , 2011, ER.

[8]  Giancarlo Guizzardi,et al.  Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures , 2010, J. Univers. Comput. Sci..

[9]  David W. Embley,et al.  Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings , 2006, ER.

[10]  Terry A. Halpin,et al.  Information modeling and relational databases (2. ed.) , 2008 .

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

[12]  E. J. Lowe,et al.  The four-category ontology , 2006 .

[13]  Bruce Todd Bauman.  Prying Apart Semantics and Implementation , 2009 .

[14]  Peter Gärdenfors,et al.  Conceptual spaces - the geometry of thought , 2000 .

[15]  Giancarlo Guizzardi,et al.  Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML , 2011, ER.

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

[17]  Giancarlo Guizzardi,et al.  On the Representation of Temporally Changing Information in OWL , 2010, 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops.

[18]  Terry Halpin.  12 – Relational Languages , 2008 .

[19]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

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

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

[22]  Fernanda Araujo Baião,et al.  On the Importance of Truly Ontological Distinctions for Ontology Representation Languages: An Industrial Case Study in the Domain of Oil and Gas , 2009, BMMDS/EMMSAD.

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

[24]  Ron Weber,et al.  An Ontological Evaluation of Systems Analysis and Design Methods , 1989, ISCO.

[25]  Marta Indulska,et al.  DO ONTOLOGICAL DEFICIENCIES IN MODELING GRAMMARS MATTER? 1 , 2011 .

[26]  Eric Yu,et al.  Social Modeling for Requirements Engineering , 2011, Cooperative information systems.

[27]  Sandro Rama Fiorini,et al.  A Symbol Grounding Model for Semantic Interpretation of 2-D Line Charts , 2010, 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops.

[28]  Richard Fikes,et al.  A Reusable Ontology for Fluents in OWL , 2006, FOIS.

[29]  Eric Yu,et al.  Ontology-Based Transformation Framework from Tropos to AORML , 2011 .

[30]  Giancarlo Guizzardi,et al.  In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes , 2006, ER.

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