GOL: Toward an axiomatized upper-level ontology. IMISE Report

In IMISE Report. Leipzig: IMISE (2001)
  Copy   BIBTEX


Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, however, there will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Against idiosyncrasy in ontology development.Barry Smith - 2006 - In B. Bennett & C. Fellbaum (eds.), Formal Ontology in Information Systems (FOIS). Amsterdam: IOS Press. pp. 15-26.
Semantic Interpretation and the Upper-Level Ontology of WordNet.Fernando Gomez - 2007 - Journal of Intelligent Systems 16 (2):93-116.
Ontological categories in GOL.Barbara Heller & Heinrich Herre - 2004 - Axiomathes 14 (1-3):57-76.
Function, role and disposition in Basic Formal Ontology.Robert Arp & Barry Smith - 2008 - Proceedings of Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB), Toronto.
The Ontology of Epistemology.Barry Smith - 1987 - Reports in Philosophy 11:57-66.
Emergence and singular limits.Andrew Wayne - 2012 - Synthese 184 (3):341-356.


Added to PP

97 (#128,876)

6 months
13 (#73,154)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barry Smith
State University of New York, Buffalo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references