Ontology

Prime #

95

Origin domain

Philosophy

Also from

Computer Science & Software Engineering

Related primes

Essentialism, Abstraction, Representation, Hierarchy

Core Idea

Ontology is the systematic specification of what there is — an inventory of basic entity types, the identity and individuation criteria distinguishing them, and the dependency relations (mereological, grounding, supervenience) that structure them into a coherent framework. The discipline treats both the foundational philosophical questions about what kinds of things exist and the applied formalizations used in knowledge representation, database schemas, and formal semantics.

How would you explain it like I'm…

What Kinds of Things Exist

Imagine sorting your toys into bins: stuffed animals here, blocks there, action figures somewhere else. To do that, you decide which kinds of things exist in your room and what makes a toy belong in each bin. Ontology is like that — but for everything: deciding what kinds of things there are and how they fit together.

What Kinds of Things Exist

Ontology is the study of what exists and how to organize it. It asks questions like: are numbers real things, or just ideas in our heads? Is a forest a single thing, or just a bunch of trees? Are events (like a birthday party) real in the same way objects (like a cake) are? An ontology is also a kind of map: it lists the basic kinds of things in some area, says what makes one thing the same or different from another, and shows which things are made out of, or depend on, other things. Computers use ontologies too — to keep track of how concepts in a database connect.

Ontology

Ontology is the systematic study of what exists, what kinds of things exist, and how those kinds are related. It tries to specify (a) the basic categories of entity - objects, properties, events, relations, structures; (b) the identity criteria that say when two things are the same thing or different; and (c) the dependency relations that organize the categories into a whole - which things are basic, which are built out of others, which depend on which. Philosophers ask very general ontological questions (are numbers real? are minds reducible to brains?), but the same idea shows up in everyday work too: a database schema, a biological taxonomy, a video game's rules - each is an ontology in miniature. Every theory or system, whether or not it admits it, presupposes some ontology, and making it explicit is often the first step to thinking clearly about the domain.

 

Ontology is the systematic specification of what there is — the inventory of basic entity types, the identity criteria that distinguish them, and the dependency relations (parthood, grounding, supervenience) that structure them into a framework. It has three core components: the basic-category inventory (objects, properties, events, relations); the identity criterion (what makes two things the same or distinct); and the dependency-and-grounding relations (which entities are fundamental versus derivative). Quine's 1948 criterion that 'to be is to be the value of a bound variable' anchors the analytic tradition by tying ontological commitment to what a theory's logical form quantifies over. Heidegger's 1927 phenomenological ontology offers the continental counterpart: an inquiry into Being itself through the structure of human existence. The two traditions differ radically in method but converge on the claim that any theory presupposes an ontology, and that making that ontology explicit is a foundational task — one that has become practically urgent in information systems, where shared ontologies enable interoperability.

Broad Use

• Philosophy: Analyzes what exists and how entities relate (e.g., materialism vs. idealism).

• Computer Science: Structures knowledge in AI and semantic web applications.

• Physics: Examines the nature of matter and space-time.

• Sociology: Investigates social constructs and their reality.

Clarity

Establishes foundational categories and distinctions, clarifying what entities are relevant in a given context.

Manages Complexity

Simplifies analysis by categorizing and defining entities, enabling systematic exploration of relationships.

Abstract Reasoning

Encourages deep thinking about fundamental assumptions, such as what counts as real or meaningful.

Knowledge Transfer

Ontological frameworks are widely used, from philosophical debates to designing databases or AI systems.

Example

Ontology in AI: Structuring a database of diseases by defining categories (e.g., infectious, genetic) and their interrelationships.

Relationships to Other Primes

Parents (1) — more general patterns this builds on

• Ontology presupposes Set and Membership — Ontology presupposes set and membership because inventorying what exists requires the apparatus of collections, members, and inclusion criteria.

Children (1) — more specific cases that build on this

• Essentialism presupposes Ontology — Essentialism presupposes ontology because its claims about essences are first-order commitments about what entities and kinds exist and how they are individuated.

Path to root: Ontology → Set and Membership

Not to Be Confused With

• Ontology is not Schema because Ontology specifies what there is (basic entity types, identity criteria, dependency relations), while Schema is a generalized cognitive structure representing typical patterns of a category — ontology addresses being; schema addresses cognitive representation.
• Ontology is not Classification because Ontology establishes the fundamental categories and individuation criteria (what counts as an entity of a kind), while Classification applies predefined rules to assign existing entities to categories — classification presupposes a prior ontological framework.
• Ontology is not Teleology because Ontology concerns what exists and how it is categorized, whereas Teleology explains phenomena by reference to their functions or ends — the two address different questions (being vs. purpose).

Notes

v1↔v2 alignment update (E7 — 2026-05-28): The v1 Core Idea was originally the broad "study of being and existence" — covering all of metaphysics-of- existence. v2 narrowed it to the applied-ontology structure (basic-category inventory + identity criteria + dependency relations), which is how the term is used both in modern analytic philosophy (Quine) and in knowledge representation. v1 Core Idea above is now aligned with v2's narrower scope.

Future-prime candidate flag: The broader v1 sense — the study of being and existence per se, the foundational metaphysical inquiry — is structurally distinct from systematic-specification ontology. A more abstract prime (provisional candidate slug: metaphysics_of_being or existence) may be worth considering in a future drafting pass to recover the broader sense and let ontology remain the specification-discipline meaning.