General formal ontology

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

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).

Objects (called presentials) have no temporal parts, and may only exist on time-boundaries.

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