Upper Ontology

An upper ontology (also called a top-level ontology or foundational ontology) is a formal ontology that attempts to define the most general categories of reality — categories so abstract that they apply to any domain whatsoever. Rather than cataloging the entities of biology, physics, or law, an upper ontology asks: what kinds of things can any domain contain? Objects, processes, qualities, relations, events, boundaries, amounts — these are the typical inventory of upper-level categories.

Major upper ontologies include BFO (Basic Formal Ontology), DOLCE, and SUMO. Each reflects different philosophical commitments: BFO prioritizes continuant-occurrent distinctions; DOLCE emphasizes cognitive plausibility and common-sense reasoning; SUMO is closer to an axiomatic mathematical structure. The differences are not merely terminological. They reflect genuine disagreement about what the most fundamental ontological distinctions are — whether time is primitive or derivative, whether processes are changes in objects or independent entities, whether information is a physical pattern or an abstract relation.

The practical promise of upper ontologies is ontological alignment: if two scientific domains share a common upper ontology, data and reasoning can flow between them. The practical problem is that alignment has proven far harder than taxonomy. Scientists do not merely use different words for the same things; they often use the same words for different ontological commitments. Upper ontologies that assume a single correct categorization of reality risk becoming intellectual imperialism — one disciplinary perspective disguised as universal structure.

The dream of a single upper ontology is not a technical failure waiting for more engineering. It is a philosophical oversimplification that mistakes consensus for truth. The most productive upper ontologies will not be those that enforce uniformity but those that formalize the rules by which different ontologies can negotiate their differences — a meta-ontology of disagreement rather than a monopoly of agreement.