On Using Conceptual Data Modeling for Ontology Engineering

This paper tackles two main disparities between conceptual data schemes and ontologies, which should be taken into account when (re)using conceptual data modeling techniques for building ontologies. Firstly, conceptual schemes are intended to be used during design phases and not at the run-time of applications, while ontologies are typically used and accessed at run-time. To handle this first difference, we define a conceptual markup language (ORM-ML) that allows to represent ORM conceptual diagrams in an open, textual syntax, so that ORM schemes can be shared, exchanged, and processed at the run-time of autonomous applications. Secondly, unlike ontologies that are supposed to hold application-independent domain knowledge, conceptual schemes were developed only for the use of an enterprise application(s), i.e. “in-house” usage. Hence, we present an ontology engineering-framework that enables reusing conceptual modeling approaches in modeling and representing ontologies. In this approach we prevent application-specific knowledge to enter or to be mixed with domain knowledge. To end, we present DogmaModeler: an ontology-engineering tool that implements the ideas presented in the paper.

[1]  Todd R. Johnson,et al.  Generic tasks and task structures: history, critique and new directions , 1993 .

[2]  D. Bernardi Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[3]  York Sure-Vetter,et al.  OntoWeb - A Semantic Web Community Portal , 2002, PAKM.

[4]  Alexander Borgida,et al.  Conceptual Modeling with Description Logics , 2003, Description Logic Handbook.

[5]  M. Polanyi Chapter 7 – The Tacit Dimension , 1997 .

[6]  Giuseppe De Giacomo,et al.  Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[7]  O. De A Logic Framework for a Semantics of Object Oriented Data Modelling , .

[8]  Arthur H. M. ter Hofstede,et al.  Formal definition of a conceptual language for the description and manipulation of information models , 1993, Inf. Syst..

[9]  Stefano Spaccapietra,et al.  View Integration: A Step Forward in Solving Structural Conflicts , 1994, IEEE Trans. Knowl. Data Eng..

[10]  Gerd Wagner,et al.  Towards Ontological Foundations for UML Conceptual Models , 2002, OTM.

[11]  C. P. Goodman,et al.  The Tacit Dimension , 2003 .

[12]  Jessica Jenkins,et al.  Formal Ontology for Subject , 1999, Data Knowl. Eng..

[13]  Enrico Franconi,et al.  Description Logics for Conceptual Design, Information Access, and Ontology Integration: Research Trends , 2003 .

[14]  Arthur H. M. ter Hofstede,et al.  Semantics and verification of object-role models , 1991, Inf. Syst..

[15]  Stephen Cranefield,et al.  UML-based ontology modelling for software agents , 2001 .

[16]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[17]  Olga De Troyer A Fomalization of the Binary Object-Role Model based on Logic , 1996, Data Knowl. Eng..

[18]  Richard Benjamins,et al.  Remedying the Reusability-Usability Tradeoff for Problem-Solving Methods , 1996 .

[19]  Robert M. MacGregor,et al.  Practical Experiences in Trading Off Ontology Usability and Reusability , 1999 .

[20]  Ernesto Compatangelo,et al.  EER-CONCEPTOOL: a "reasonable" environment for schema and ontology sharing , 2002, 14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings..

[21]  J. J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method , 1990, Springer Netherlands.

[22]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[23]  I. Nonaka A Dynamic Theory of Organizational Knowledge Creation , 1994 .

[24]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[25]  Robert Meersman,et al.  Formal Ontology Engineering in the DOGMA Approach , 2002, OTM.

[26]  Nicolas Spyratos,et al.  Mediators over ontology-based information sources , 2001, Proceedings of the Second International Conference on Web Information Systems Engineering.

[27]  Robert Meersman,et al.  Scalability and knowledge reusability in ontology modeling , 2002 .

[28]  Lewis Hart,et al.  Extending UML to Support Ontology Engineering for the Semantic Web , 2001, UML.

[29]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[30]  Terry A. Halpin,et al.  Information Modelling and Relational Databases , 2001 .

[31]  N. Guarino,et al.  Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, Italy , 1998 .

[32]  Robert Meersman,et al.  Ontologies and Databases: More than a Fleeting Resemblance , 2002 .

[33]  J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method: Theory and Practice , 1990 .

[34]  Veda C. Storey,et al.  An ontological analysis of the relationship construct in conceptual modeling , 1999, TODS.

[35]  Henderik Alex Proper,et al.  Subtyping and Polymorphism in Object-Role Modelling , 1995, Data Knowl. Eng..

[36]  Anthony C. Bloesch,et al.  ConQuer: A Conceptual Query Language , 1996, ER.

[37]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[38]  Robert Meersman,et al.  The Use of Lexicons and Other Computer-Linguistic Tools in Semantics, Design and Cooperation of Database Systems , 1999, CODAS.

[39]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[40]  Martin K. Purvis,et al.  UML as an Ontology Modelling Language , 1999, Intelligent Information Integration.

[41]  Terry Halpin A Logical Analysis of Information Systems: static aspects of the data-oriented perspective , 1989 .

[42]  Robert Meersman,et al.  A Logic Framework for a Semantics of Object-Oriented Data Modeling , 1995, OOER.