General Ontology Baseline Deliverable D 1 I 1-[ OntoSpace ] ; Workpackage 1

This is a general overview document setting out the basics of ontology design for Project I1-[OntoSpace] and the SFB. First, a discussion of the major design parameters is given in order to familiarize SFB-members with the state of ontological engineering and the issues involved. We then select several key ontologies for discussion along the lines of the parameters introduced. We conclude by setting out our starting assumptions for the ontology designs that will be employed within the project OntoSpace. These assumptions are also proposals for ontology design within the SFB as a whole.

[1]  Z. Vendler.  Linguistics in Philosophy , 1967 .

[2]  J. Gibson,et al.  The Senses Considered As Perceptual Systems , 1967 .

[3]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[4]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[5]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

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

[7]  John F. Sowa.  Generating language from conceptual graphs , 1983 .

[8]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[9]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[10]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[11]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[12]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[13]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[14]  David Lewis,et al.  Parts Of Classes , 1991 .

[15]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[16]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[17]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[18]  Travé-Massuyès.  Conceptual Neighborhood and its role in temporal and spatial reasoning , 1991 .

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

[20]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[21]  Nicola Guarino,et al.  The Ontological Level , 1994 .

[22]  Barry Smith,et al.  Philosophy and the Cognitive Sciences , 1994 .

[23]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[24]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[25]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

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

[27]  Simone Pribbenow,et al.  Midwinters, end games, and body parts: a classification of part-whole relations , 1995, Int. J. Hum. Comput. Stud..

[28]  Barry Smith,et al.  Formal ontology, common sense and cognitive science , 1995, Int. J. Hum. Comput. Stud..

[29]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

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

[31]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[32]  Roberto Casati,et al.  Parts and Places: The Structures of Spatial Representation , 1999 .

[33]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[34]  Martin Romacker,et al.  Partonomic Reasoning as Taxonomic Reasoning in Medicine , 1999, AAAI/IAAI.

[35]  Olivier Corby,et al.  Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management , 2000 .

[36]  Stefan Schulz,et al.  Mereotopological reasoning about parts and (w)holes in bio-ontologies , 2001, FOIS.

[37]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[38]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[39]  Wolfgang Wahlster,et al.  Smartkom: multimodal communication with a life- like character , 2001, INTERSPEECH.

[40]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[41]  Barry Smith.  Fiat Objects , 2001 .

[42]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[43]  Sergei Nirenburg,et al.  Ontological semantics, formal ontology, and ambiguity , 2001, FOIS.

[44]  Nicola Guarino,et al.  Understanding top-level ontological distinctions , 2001, OIS@IJCAI.

[45]  Nicola Guarino,et al.  Conceptual analysis of lexical taxonomies: the case of WordNet top-level , 2001, FOIS.

[46]  Barry Smith,et al.  A Taxonomy of Granular Partitions , 2001, COSIT.

[47]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[48]  Nicola Guarino,et al.  The WonderWeb Library of Foundational Ontologies Preliminary Report , 2002 .

[49]  Barry Smith,et al.  Mereotopology: A Theory of Parts and Boundaries , 1996, Data Knowl. Eng..

[50]  Rose Dieng,et al.  Knowledge Engineering and Knowledge Management Methods, Models, and Tools , 2002, Lecture Notes in Computer Science.

[51]  Peter D. Mosses,et al.  CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..

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

[53]  S. Bechhofer.  The DIG Description Logic Interface : DIG / 1 . 0 , 2002 .

[54]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..

[55]  Stefan Schulz,et al.  Necessary Parts and Wholes in Bio-Ontologies , 2002, KR.

[56]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[57]  Aldo Gangemi,et al.  Understanding the Semantic Web through Descriptions and Situations , 2003, OTM.

[58]  Barry Smith,et al.  Layers: A New Approach to Locating Objects in Space , 2003, COSIT.

[59]  Philippe Martin.  Knowledge Representation, Sharing, and Retrieval on the Web , 2003 .

[60]  Heinrich Herre,et al.  Formal Ontology and Principles of GOL , 2003 .

[61]  Thomas Bittner,et al.  A Theory of Granular Partitions , 2003, Foundations of Geographic Information Science.

[62]  Annals of Mathematics and Artificial Intelligence , 2004, Annals of Mathematics and Artificial Intelligence.

[63]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[64]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[65]  Barry Smith,et al.  SNAP and SPAN: Towards Dynamic Spatial Ontology , 2004, Spatial Cogn. Comput..

[66]  Barry Smith,et al.  Quantum Mereotopology , 2002, Annals of Mathematics and Artificial Intelligence.

[67]  Klaus Lüttich.  Specification of Ontologies in CASL , 2004 .

[68]  Barry Smith,et al.  The Cornucopia of Formal-Ontological Relations , 2005 .

[69]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[70]  B. Heller.  General Ontological Language ( GOL ) A Formal Framework for Building and Representing Ontologies Version 1 . 0 ( Excerpt ) , 2005 .

[71]  Wolfgang Wahlster,et al.  SmartKom: Foundations of Multimodal Dialogue Systems , 2006, SmartKom.

[72]  N. Foo.  Conceptual Spaces—The Geometry of Thought , 2022 .