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

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

Abstract

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.

Author's Profile

Barry Smith
University at Buffalo

Analytics

Added to PP
2017-11-06

Downloads
175 (#69,762)

6 months
46 (#76,067)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?