TY - GEN
T1 - GOL
T2 - Formal Ontology in Information Systems: Collected Papers from the Second International Conference
AU - Degen, Wolfgang
AU - Heller, Barbara
AU - Herre, Heinrich
AU - Smith, Barry
PY - 2001
Y1 - 2001
N2 - 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, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper-level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations.
AB - 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, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper-level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations.
UR - https://www.scopus.com/pages/publications/0035789495
M3 - Conference contribution
AN - SCOPUS:0035789495
SN - 1581133774
T3 - Formal Ontology in Information Systems: Collected Papers from the Second International Conference
SP - 34
EP - 46
BT - Formal Ontology in Information Systems
A2 - Welty, C.
A2 - Smith, B.
A2 - Welty, C.
A2 - Smith, B.
Y2 - 17 October 2001 through 19 October 2001
ER -