Skip to content

Ontology

Version
v3 · 2026-08-30 · History
Prime #
95
Domain group
Humanities
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 — includesChristianHumanismDOMAINDomain-specific abstraction: Dvaita Vedānta — includesDvaita VedāntaDOMAINDomain-specific abstraction: Plato's Beard — includesPlato's BeardDOMAINPrime abstraction: Essentialism — presupposesEssentialismPRIMEDomain-specific abstraction: Abstract and concrete — is a kind ofAbstractand concreteDOMAINDomain-specific abstraction: Function-Behaviour-Structure ontology — is a kind ofFunction-Behavi…DOMAINDomain-specific abstraction: Inhabited set — is a kind ofInhabited setDOMAINDomain-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…DOMAINDomain-specific abstraction: Substance theory — is a kind ofSubstance theoryDOMAINDomain-specific abstraction: Weak ontology (political concept) — is a kind ofWeak ontology (…DOMAIN

Current abstraction Ontology Prime

Parents (1) — outgoing typed relations

  • 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 (12) — abstractions linked here by typed relations

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

  • Function-Behaviour-Structure ontology Domain-specific is a kind of Ontology

    Function-Behaviour-Structure ontology is a domain-specific kind of Ontology: The Function-Behaviour-Structure ontology represents a designed object through what it is for, what it does, and how it is constituted, and models designing as transformations among those three views.

  • Inhabited set Domain-specific is a kind of Ontology

    What makes it its own entry: the domain-specific identity determined by a term or proof witness of membership in the declared set is available under the chosen constructive type-theoretic or set-theoretic interpretation.

  • Neutral monism Domain-specific is a kind of Ontology

    Neutral monism is literally an inventory and dependency claim about what is fundamental and how mental and physical kinds derive from it; What makes it its own entry: the conjunction of ontological monism, a neutral intrinsic basis, and derivation of both mental and physical domains, not merely the claim that mind and body correlate, that reality has two aspects, or that physics leaves intrinsic nature unspecified.

  • Philosophical realism Domain-specific is a kind of Ontology

    What makes it its own entry: Realism is not one undifferentiated doctrine and need not entail naive perception, certainty, scientific realism, or realism about every domain.

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