GFO (General Formal Ontology)

What it is

The General Formal Ontology is a top-level ontology for conceptual modeling under continuing development by Onto-Med. It covers categories including objects, processes, time, space, properties, relations, roles, functions, facts, and situations, while aiming to integrate levels of material, mental, and social reality.

Key concepts

Distinctive ideas include integrating objects and processes through “persistants,” treating time and space as entities in their own right, coincidence, “situoids” as highly independent comprehensible wholes, and detailed accounts of roles and functions. GFO also provides different category kinds—universals, concepts, and symbolic structures—to remain open across realism, conceptualism, and nominalism.

How you’d use it

Use gfo-basic.owl as the stable core for a domain ontology and import it into extensions for areas such as time, space, or processes. The source recommends opening that file in an ontology editor to inspect basic categories and their short descriptions.

LLM angle

none stated

Pitfalls & lessons

The native formalization language is first-order logic, but the source says its partial FOL axiomatizations were not publicly available. Introductory/tutorial material was incomplete, draft reports could contain technical deficiencies, parallel extensions might be mutually inconsistent, and the fuller gfo.owl had not yet been adapted to gfo-basic.owl.

Verdict

A philosophically broad upper ontology with an OWL core and unusually explicit object/process integration, but the fetched documentation records substantial maturity, consistency, and accessibility caveats.

Sources consulted

• http://www.onto-med.de/ontologies/gfo/