General formal ontology

[1] GFO has been developed by Heinrich Herre, Barbara Heller and collaborators (research group Onto-Med) in Leipzig.

Although GFO provides one taxonomic tree, different axiom systems may be chosen for its modules.

In this sense, GFO provides a framework for building custom, domain-specific ontologies.

Conceptual structures are mental representations of entities or universals, and they exist in an agent's mind.

This notion of coincidence is equivalent to a formalization of time-based on the meets relation (due to Allen and Hayes).

DOLCE and other ontologies face the problem of "identity": how is it possible to model the persistence of an object through time.