Towards a standard upper ontology

The Suggested Upper Merged Ontology (SUMO) is an upper levelontology that has been proposed as a starter document for TheStandard Upper Ontology Working Group, an IEEE-sanctioned workinggroup of collaborators from the fields of engineering, philosophy,and information science. The SUMO provides definitions forgeneral-purpose terms and acts as a foundation for more specificdomain ontologies. In this paper we outline the strategy used tocreate the current version of the SUMO, discuss some of thechallenges that we faced in constructing the ontology, and describein detail its most general concepts and the relations between them.

[1]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[2]  Norbert E. Fuchs,et al.  Attempto Controlled English (ACE) , 1996, ArXiv.

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

[4]  Nicola Guarino,et al.  An Ontological Theory of Physical Objects , 2001 .

[5]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[6]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[7]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

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

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

[10]  C. Peirce,et al.  Collected Papers of Charles Sanders Peirce , 1936, Nature.

[11]  Achille C. Varzi,et al.  Ontological Tools for Geographic Representation , 1998 .

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

[13]  G. L..  Collected Papers , 1912, Nature.

[14]  Beth Levin,et al.  English Verb Classes and Alternations: A Preliminary Investigation , 1993 .

[15]  Craig Schlenoff,et al.  The Process Specification Language (PSL) Overview and Version 1.0 Specification , 2000 .

[16]  R. A. Pease,et al.  JTF-ATD Core Plan Representation: a Progress Report , 1997 .

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

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

[19]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

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

[21]  Barry Smith.  Fiat Objects , 2001 .