Skip to content

Ontology

Version
v3 · 2026-08-30 · History
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 Abstractions

Local relationship map for OntologyParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.OntologyPRIMEPrime abstraction: Set and Membership — presupposesSet andMembershipPRIMEDomain-specific abstraction: Christian Humanism — is part ofChristianHumanismDOMAINDomain-specific abstraction: Dvaita Vedānta — is part ofDvaita VedāntaDOMAINDomain-specific abstraction: Natural Person — is part ofNatural PersonDOMAINDomain-specific abstraction: Plato's Beard — is part ofPlato's BeardDOMAINPrime abstraction: Essentialism — presupposesEssentialismPRIMEDomain-specific abstraction: Abstract and concrete — is a kind ofAbstractand concreteDOMAINDomain-specific abstraction: Inhabited set — is a kind ofInhabited setDOMAINDomain-specific abstraction: Malakut — is a kind ofMalakutDOMAINDomain-specific abstraction: Materialism — is a kind ofMaterialismDOMAINDomain-specific abstraction: Neutral monism — is a kind ofNeutral monismDOMAINDomain-specific abstraction: Philosophical realism — is a kind ofPhilosophicalrealismDOMAINDomain-specific abstraction: Structure (mathematical logic) — is a kind ofStructure (math…DOMAIN+3 more

Current abstraction Ontology Prime

Parents (1) — more general patterns this builds on

  • Ontology presupposes Set and Membership Prime

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

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

  • Abstract and concrete Domain-specific is a kind of Ontology

    Abstract and concrete instantiates Ontology because it proposes a high-level partition within an inventory of what exists and makes the partition depend on relations such as location, causation, dependence, and modal status.

  • Inhabited set Domain-specific is a kind of Ontology

    The proposed strict upward parent is prime:ontology.

  • Malakut Domain-specific is a kind of Ontology

    The proposed strict upward parent is prime:ontology.

  • Materialism Domain-specific is a kind of Ontology

    The proposed strict upward parent is prime:ontology.

  • Neutral monism Domain-specific is a kind of Ontology

    The proposed strict upward parent is prime:ontology.

Hierarchy path (1) — routes to 1 parentless root

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