Contributions to the Ontological Foundation of Knowledge Modelling

In the present paper we make some contributions to the emerging eld of so-called ontological engineering. In detail, we discuss the principles underlying knowledge acquisition from an axiomaticdeductive point of view. Then we turn to the notion of an ontology and the connection between ontology and knowledge systems. An ontology comprises ontologically basic relations such as membership, part-whole and inherence. The ontological basic entities are divided into Urelemente and sets, the Urelemente are in turn either individuals or universals. Foremost among the individuals are substances, moments and situations. We outline a knowledge modelling language called GOL, for (General Ontological Language), and we compare it to other languages of this sort.

[1]  Gerd Wagner,et al.  Stable Models Are Generated by a Stabel Chain , 1997, J. Log. Program..

[2]  B. Jack Copeland,et al.  CYC: A case study in ontological engineering , 1997 .

[3]  M A Musen,et al.  Dimensions of knowledge sharing and reuse. , 1992, Computers and biomedical research, an international journal.

[4]  Gerd Wagner,et al.  HEINRICH HERRE, JAN JASPARS AND GERD WAGNER PARTIAL LOGICS WITH TWO KINDS OF NEGATION AS A FOUNDATION FOR KNOWLEDGE-BASED REASONING , 2006 .

[5]  R GruberThomas.  Toward principles for the design of ontologies used for knowledge sharing , 1995 .

[6]  Luís Moniz Pereira,et al.  Psychiatric Diagnosis from the Viewpoint of Computational Logic , 2000, Computational Logic.

[7]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[8]  Nicola Guarino,et al.  Some Ontological Principles for Designing Upper Level Lexical Resources , 1998, LREC.

[9]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[10]  Achille C. Varzi,et al.  The structure of spatial localization , 1996 .

[11]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[12]  Franz Baader,et al.  A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages , 1996, J. Log. Comput..

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

[14]  F. Brentano,et al.  Philosophische Untersuchungen zu Raum, Zeit und Kontinuum , 1976 .

[15]  C VarziAchille.  Parts, wholes, and part-whole relations , 1996 .

[16]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[17]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

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

[19]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[20]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[21]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[22]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[23]  Heinrich Herre,et al.  Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults , 1999, J. Log. Program..

[24]  Nicola Guarino,et al.  TOWARDS AN ONTOLOGICAL THEORY OF PHYSICAL OBJECTS , 1996 .

[25]  José Júlio Alferes,et al.  Partial Models of Extended Generalized Logic Programs , 2000, Computational Logic.

[26]  Barry Smith,et al.  ON SUBSTANCES, ACCIDENTS AND UNIVERSALS: IN DEFENCE OF A CONSTITUENT ONTOLOGY , 1997 .