Results for 'General Ontology Language (GOL)'

Order:
  1. GOL: A general ontological language.Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith - 2001 - In Chris Welty & Barry Smith (eds.), Formal Ontology in Information Systems (FOIS). New York: ACM Press. pp. 34-46.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. GOL: Toward an axiomatized upper-level ontology. IMISE Report.Wolfgang Degen, Barbary Haller, Heinrich Herre & Barry Smith - 2001 - In IMISE Report. Leipzig: IMISE.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark