Choosing Your Upper Ontology

Upper OntologiesKnowledge GraphsSemantic ArchitectureDomain ModelingStandards

Architecting Knowledge Graphs using Upper Ontologies (Top-Level Ontologies, or TLOs) requires balancing formal philosophical rigor with pragmatism, query performance, and developer velocity. Get it wrong in either direction and you pay: too much formalism chokes your team with Description Logic axioms and five-hop SPARQL joins; too little formalism and your domain graph accumulates structural debt that makes enterprise interoperability impossible to retrofit.

This post is an architectural breakdown: when to introduce a top-level ontology, how to converge from a crowded field of candidates, how to keep your own ontology from collapsing under reuse complexity, and how to apply these choices across Energy, Supply Chain, Automotives, and Finance.


1. When Is It Too Early?

The common refrain is “build your domain schema first, adopt an upper ontology once you actually need interoperability.” It sounds prudent, and it quietly assumes alignment is an integration task you can schedule later. It is not. It is a structural commitment about how time, states and roles exist at all.

Treat “Vehicle Status” as a string property on a car, then try to align with BFO or DOLCE later, where a status is an occurrent or a quality rather than a string. The graph does not bend, it breaks. Every SPARQL query, every SHACL shape and every ETL step that touches status gets rewritten.

The expensive part was never adopting the ontology. It was adopting its shape late.

Too early

  • Proof of concept, or a single application UI
  • Throwaway prototype or a local search index
  • Domain requirements still mutating weekly

The signal it is time

  • A second team needs to read your graph without asking you what a field means
  • An external party, auditor or regulator has to consume it
  • You are merging two domain models that were built apart

Think alignment, not construction. Pattern your domain classes on Day 1. Map them formally on Day 30. Import the OWL on Day Never.


2. The Layered Semantic Stack

Teams often fall into a false binary: either build a completely custom schema, or adopt a massive 50,000-axiom upper ontology. In practice, mature Knowledge Graph architectures are layered, and choosing the right layer for each concern is the real convergence decision.

Upper ontologies are not meant to model sensor telemetry, organizational hierarchies, or dataset provenance. Those operational concerns belong in specialized W3C core vocabularies. Reserve upper ontologies exclusively for foundational cross-domain semantics: physical identity, continuants vs. occurrents, and state lifecycle processes.

1
W3C Utility VocabulariesPROV-O, SOSA/SSN, W3C Org, SKOS, DCAT. Lineage, telemetry, taxonomies, org structures.
Lightweight
2
ISO Upper OntologiesBFO (ISO/IEC 21838-2), DOLCE (ISO/IEC 21838-3), ISO 15926. Top-level identity, physical continua, spatio-temporal boundaries.
Rigorous
3
Pragmatic Enterprise Ontologiesgist (Semantic Arts), IOF Core. Mid-level building blocks with low ontological overhead.
Balanced
4
Custom Application SchemasDomain RDF/OWL or LPG schemas. Maximum developer velocity, zero external interoperability.
Siloed

The Semantic Layer Stack: default to Layer 1 for utility, reach for Layer 2 only when multi-system integration demands it.

The stack above tells you what each layer is for. It does not tell you which layer to reach for first, and the default most teams pick is one layer too high.

💡
Pick the layer in this order
  1. Reach for Layer 1 first. Lineage, sensors and taxonomies are solved problems: PROV-O, SOSA/SSN and SKOS cover them without any top-level commitment.
  2. Reach for Layer 2 only when independent systems, owned by different teams, must agree on what an entity is. One upper ontology, not two.
  3. Never let a closed vendor core model occupy Layer 2. They conflate a person with their role and an asset with its serial number tag, which is the exact debt section 3 is about paying down.

Rule 2 is the one that costs money, so section 4 is devoted to making that single choice well. First, though, the failure that happens even when the choice is right.


3. Preventing Complexity Blowup

Projects often fail when they do owl:imports on a massive upper ontology or domain ontology (the full FIBO or the entire BFO ecosystem), pulling in thousands of Description Logic axioms that choke reasoners and confuse graph developers. The cure is architectural decoupling.

The shape of the fix is a barrier. Your operational graph and the upper ontology live on opposite sides of it, and exactly one thing is allowed to cross: a file of rdfs:subClassOf statements that names the upper ontology without dragging it in.

YOUR OPERATIONAL GRAPHREFERENCED, NEVER IMPORTEDD · Upper OntologyBFO / DOLCE / ISO 15926 / gistC · Alignment Layerdomain-bfo-alignment.ttl · the only place imports are allowedB · Domain Schemalightweight OWL + SHACL shapesA · Application Graph:Pump, :PurchaseOrder, :Vehicle instancesrdf:typeowl:importsrdfs:subClassOfthe one permitted crossingowl:imports into the operational graph
Layer C is a bridge, not a dependency. The reasoner runs on the left at query time and on the right only during batch alignment, so 50,000 axioms never touch a production query.
Rule 1Never owl:import heavy upper ontologies into your Application Graph. Keep data instances mapped to lightweight domain classes (:Pump, :PurchaseOrder, :Vehicle).Rule 2Isolate the Alignment Layer in a separate .ttl file (e.g., domain-bfo-alignment.ttl) containing rdfs:subClassOf linkages. Run reasoners against this layer only during batch ETL or compliance reporting.Rule 3Use SHACL shapes for runtime data validation. OWL reasoners use Open World Assumption and can be slow. Keep OWL for semantic classification, SHACL for constraint enforcement.

4. The Upper Ontology Landscape

Beyond BFO, UFO, and DOLCE, several critical upper/top-level ontologies exist. They divide into three families, and the dividing line is a single question: when a pump exists on Tuesday and again on Friday, is that one object seen twice, or two slices of one longer thing?

That sounds like a philosophy seminar. It is actually the decision that determines whether your maintenance history is a join or a graph traversal.

3D / ENDURANTISTCommissionedState2019DegradedState2024OverhauledState2029hasState:Pump P-101 · one individual, wholly present at every instant4D / PERDURANTIST:Pump P-101 is the whole extent. Each period is a part of it.temporal part2019 to 2023temporal part2024 to 2028temporal part2029 onward201920242029time
The same pump, two commitments. 3D keeps the object fixed and hangs states off it. 4D makes the object a temporal extent and treats each period as a genuine part. Neither is wrong; they just bill you differently.

The practical consequence: in a 3D model, “what did this pump look like in 2024?” is a join through a state table you designed. In a 4D model it is a part-of traversal the ontology already gives you. 4D costs more up front and pays back over decades, which is exactly why the standard that owns it came out of process plant engineering.

What actually qualifies as an upper ontology

Before the shortlist, the entry test, because half the arguments in this space are people comparing things that are not in the same category. Almost every vocabulary with broad-sounding classes gets called an upper ontology by somebody, usually its own marketing page.

There is a real answer. ISO/IEC 21838-1:2021 exists precisely to specify what a top-level ontology must be, and Parts 2 and 3 are the ontologies that were then certified against it. Stripped to what you can apply in a meeting, it comes to four questions.

1. Is it domain-neutral?Every category must apply to every domain. One class that only makes sense in manufacturing, or in healthcare, and it is not top level. This is the test almost everything fails.2. Does it commit on persistence?It must answer whether things endure whole or extend through time, the 3D and 4D question below. A vocabulary that stays silent here has not made the decision that a top-level ontology exists to make.3. Is it small, and is everything else derived from it?Tens of classes, not thousands, and designed to be an upper hub that domain ontologies hang beneath. If nothing extends it, it is not above anything.4. Is it formally axiomatised?Relations carry stated logical properties, not just human-readable labels. The standard points at Common Logic for full first-order expressivity.

Run the test and the field sorts itself out quickly.

Passes

  • BFO, DOLCE certified against 21838-1 as Parts 2 and 3
  • UFO, SUMO domain-neutral and axiomatised, outside the ISO series
  • ISO 15926 committed to 4D, which is the strongest answer to question 2

Fails, and that is fine

  • SOSA/SSN, SAREF domain vocabularies, silent on question 2
  • FIBO excellent, and entirely about finance, so question 1
  • schema.org built for search engines, no axiomatisation to speak of
  • CCO, IOF Core mid-level by design: they sit under BFO rather than above anything

Failing is not a criticism. FIBO is the right tool for finance and SOSA is the right tool for sensors. The error is only in expecting either of them to settle what a thing fundamentally is, which is the one job on this list.

Which raises the obvious question: if the answer is a handful of ontologies designed between the late 1990s and 2008, is this a solved field or an abandoned one?

Neither. The origin dates are old because the metaphysics did not need redoing. The standards are recent, and several of these have shipped releases more recently than most JavaScript frameworks you rely on.

  • 3D / EndurantistObjects endure whole through time. States and events are separate entities hung off them.
  • 4D / PerdurantistObjects are spatio-temporal extents. What you call "now" is a part of the whole.
  • Pragmatic / EnterpriseDeclines the metaphysics and ships business semantics you can put in production this quarter.
  1. late 1990stop level

    ISO 15926 & HQDM Integration of lifecycle data for process plants

    ISO Technical Committee 184

    Built so a refinery's data outlives the engineers who commissioned it. Part 2 was published in 2003.

    Where it standsStill the reference for multi-decade plant data. HQDM carries the same 4D commitment.

    How it carves up the world
    Core philosophy
    4-dimensionalism, sometimes called worm theory. An object is a 4D extent through space and time.
    Key boundaries
    No hard division between object and event. A car is a spatio-temporal extent; the car today is a temporal part of the car's entire lifespan. This is what makes 30-year asset histories a traversal rather than a reconstruction.
    Best suited for
    Energy, process plants, heavy engineering, oil and gas, long-lifecycle asset management.
  2. 2001top level

    SUMO Suggested Upper Merged Ontology

    IEEE Working Group P1600.1

    Merged the existing upper ontologies into one formal framework for automated reasoning and NLP.

    Where it standsStill maintained, still large. Roughly 25,000 terms once mid-level extensions are counted.

    How it carves up the world
    Core philosophy
    Broad formal ontology, dense with axioms expressed in SUO-KIF.
    Key boundaries
    Comprehensiveness is the design goal and the cost. Its size makes runtime graph queries impractical, so it lives in research rather than in production knowledge graphs.
    Best suited for
    NLP, automated theorem proving. Rare in modern commercial knowledge graphs.
  3. 2002top level

    DOLCE Descriptive Ontology for Linguistic and Cognitive Engineering

    Nicola Guarino and the WonderWeb project

    Formalises the categories humans actually use to talk about the world, rather than the ones physics prefers.

    Where it standsStandardised as ISO/IEC 21838-3:2023, the most recently ratified part of the TLO series. Strong in European research and socio-technical engineering.

    How it carves up the world
    Core philosophy
    Descriptive and cognitive. Prioritises descriptive adequacy over strict physical realism.
    Key boundaries
    Endurants (objects, substances) versus perdurants (events, processes). Separately, qualities and regions distinguish a property such as colour, its domain, and its value space.
    Best suited for
    Socio-technical systems, cognitive agents, legal and organisational frameworks.
  4. 2002top level

    BFO Basic Formal Ontology

    Barry Smith, University at Buffalo

    About 35 classes, deliberately. It anchors hundreds of lower-level ontologies without modelling any domain itself.

    Where it standsBFO 2020 is the live version, standardised as ISO/IEC 21838-2:2021 and maintained in the open on GitHub.

    How it carves up the world
    Core philosophy
    Realist and 3D. Assumes an objective reality that exists independently of how anyone describes it.
    Key boundaries
    Continuant: endures through time (a pump, an engine). Occurrent: unfolds in time (a maintenance process). Roles and functions: a physical object is never the role it plays, which is why :Chemical and :CoolantRole stay separate.
    Best suited for
    Defence and intelligence, industrial engineering via IOF, biomedical via the OBO Foundry.
  5. 2005top level

    UFO Unified Foundational Ontology

    Giancarlo Guizzardi

    The theoretical core of OntoUML. Built for the things ER and UML quietly cannot express.

    Where it standsActively developed alongside OntoUML, with ongoing tooling for model validation.

    How it carves up the world
    Core philosophy
    Formal ontology crossed with cognitive science and conceptual modelling.
    Key boundaries
    UFO-A (structural): kinds, subkinds, phases, roles, mixins, relators, tropes. UFO-B (events): situations, triggers, causality. UFO-C (social and legal): agents, commitments, claims, rights, obligations.
    Best suited for
    Domains where business rules, shifting roles and legal contracts carry the complexity.
  6. 2008top level

    gist gist minimalist upper ontology

    Dave McComb, Semantic Arts

    Roughly 150 classes of ordinary business vocabulary, with the philosophy left at the door.

    Where it standsShipping on a regular cadence: 13.0.0 in July 2024, 14.0.0 on 31 October 2025. gistBFO now offers a BFO-compatible build, so the pragmatic and rigorous camps have a bridge.

    How it carves up the world
    Core philosophy
    Minimalist enterprise semantics. Maximum coverage from the fewest primitives.
    Key boundaries
    Universal business concepts: Person, Organization, Agreement, Event, Intention, Magnitude. Version 13 rebuilt units of measure and magnitudes outright.
    Best suited for
    Enterprise data graphs, financial services, master data management.
  7. 2017mid level

    CCO Common Core Ontologies

    CUBRC and the Common Core Ontologies community

    Eleven mid-level ontologies extending BFO. The layer most teams actually need, and the one most posts skip.

    Where it standsBSD-3 licensed since 2017. Endorsed in 2024 as the baseline standard for formal ontology development across the US Department of Defense and Intelligence Community, and under review by IEEE P3195 as the first standard mid-level ontology.

    How it carves up the world
    Core philosophy
    Realist, inherited from BFO. Fills the gap between 35 abstract classes and your domain vocabulary.
    Key boundaries
    Covers what turns out to be common across most datasets: agents, artifacts, events, information entities, units, geospatial and time concepts. You extend CCO rather than deriving from BFO directly.
    Best suited for
    Defence and intelligence, and any BFO programme that does not want to rebuild the middle tier.
  8. 2022mid level

    IOF Core Industrial Ontologies Foundry Core

    Industrial Ontologies Foundry, with NIST involvement

    The manufacturing world's mid-level layer, committed to BFO as its top level.

    Where it standsCore version 1 released in 2022, with domain ontologies including IOF-Maintenance following in 2024.

    How it carves up the world
    Core philosophy
    BFO-aligned tiered architecture: top level, then Core, then domain ontologies.
    Key boundaries
    Supplies the intermediate manufacturing terms that BFO deliberately omits, then lets domain ontologies derive from those rather than from the top level.
    Best suited for
    Manufacturing, automotive bills of materials, supply chain, industrial maintenance.
📐

Why there is no W3C upper ontology People look for one and conclude the W3C dropped the ball. It did not. The W3C standardises languages (RDF, OWL 2) and utility vocabularies (SKOS, PROV-O, SOSA/SSN). Top-level ontologies are deliberately left to ISO/IEC, which owns the 21838 series, and to IEEE, which owns P1600.1 for SUMO and P3195 for mid-level. That is the layered stack from section 2 showing up in the standards bodies themselves: nobody is trying to make one organisation own every layer.

🧭

SOSA, SAREF and friends are not on this timeline for a reason They are not upper ontologies, and treating them as candidates is the most common category error in this space. SOSA/SSN is a W3C vocabulary for observations and sensors. SAREF is ETSI’s reference ontology for smart applications (TS 103 264, now at V4.1.1 as of March 2025) with eleven domain extensions hanging off it. SAREF is an “upper model” only in the sense that its own extensions derive from it, and it deliberately carries no alignment to a top-level ontology at all. Both are Layer 1 in section 2’s stack. Neither will tell you whether a pump is a continuant or a 4D extent, which is the only question a top-level ontology exists to answer.

Two things in that timeline deserve more weight than they usually get.

The mid-level tier is probably what you actually want. BFO gives you about 35 classes. Your domain needs several hundred. Most teams try to close that gap themselves, which is exactly the work CCO and IOF Core have already done and tested. Adopting a mid-level ontology is the difference between extending a maintained standard and maintaining a private one. CCO’s endorsement in 2024 as the baseline for US defence and intelligence ontology work, and its review under IEEE P3195, means that gap is now filled by something with institutional weight behind it.

The camps are converging. gistBFO exists: a BFO-compatible build of the ontology whose entire pitch was skipping the philosophy. The practical read is that “pragmatic versus rigorous” is becoming a question of sequencing rather than allegiance. Start with gist to ship, map to BFO when an external party demands it, and the bridge is now maintained by someone else.


5. Domain-Specific Guidance

The timeline tells you what exists. It does not tell you which one your domain forces on you, and in practice the domain decides more than taste does. Each of these four has one modelling problem that dominates everything else, and that problem picks the stack.

EnergyISO 15926 / IOF Core + W3C SSN → 4D Lifecycles, IoT SensorsSupply ChainUFO-C + W3C PROV-O + GS1 EPCIS 2.0 → Custody vs. Ownership, Multi-Party EventsAutomotivesIOF Core (BFO-based) + VSS + SSN/SOSA → BOM Hierarchies, TelemetryFinanceFIBO + gist / UFO-C → Obligations, Contracts, MDM

Domain to ontology stack mapping: each domain’s core challenge steers toward a specific combination of upper ontology and W3C vocabularies.

Energy

Core Challenge: Managing physical infrastructure (substations, turbines, grids) operating for decades, alongside real-time telemetry.

Stack: ISO 15926 / HQDM (asset lifecycles) or IOF Core (BFO-based), paired with W3C SSN/SOSA (sensor observations).

The trap: status as a column A Transformer is not its OperatingState, and a solar panel’s declining capacity is not an attribute you overwrite. Every overwrite is a fact you can no longer audit, which is fatal in a regulated asset base. This is the 3D and 4D choice from section 4 arriving as a schema decision: 3D gives you the state nodes, 4D gives you the temporal parts, and a mutable column gives you neither.

Supply Chain

Core Challenge: Lineage, provenance, transfer of custody vs. transfer of ownership, multi-party events.

Stack: GS1 EPCIS 2.0 with the Core Business Vocabulary for the event layer, W3C PROV-O for lineage, UFO-C for the legal relators, and the IOF Supply Chain domain ontology if you are already BFO-aligned.

EPCIS is worth calling out because it is the one place in this post where a domain standard has already made the modelling decisions for you. Ratified in June 2022, EPCIS 2.0 defines supply chain events as what, when, where, why and how, and CBV 2.0 supplies 41 standard business step codes so “shipped” means the same thing to you and to your customs broker. It gained JSON-LD and Web URI support in 2.0, so it drops into an RDF stack without a translation layer. Model your events on EPCIS and reserve the upper ontology for what EPCIS deliberately leaves open: what the things in those events actually are.

📦

The trap: one “has” for two different facts A carrier has custody; the buyer has ownership. Collapse them into one relationship and you cannot answer who was liable when the pallet was damaged, which is the only question anyone asks. Both are relators in UFO-C terms, and both are roles rather than classes, so the same pattern from section 6 applies. Keep the three levels apart too: an item type (:ProductSpecification), a batch (:Batch), and a serialised unit (:PhysicalItem) get recalled at different granularities.

Automotives

Core Challenge: Complex Bill of Materials (BOM), software vs. hardware components, connected vehicle telemetry, Digital Twin states.

Stack: IOF Core (BOM representation), VSS (Vehicle Signal Specification) as RDF, W3C SOSA/SSN.

🚗

The trap: one BOM for three different vehicles As-Designed is a CAD specification, As-Built is the engine that actually went into VIN 12345, and As-Maintained is whatever is in the car after two services. One BOM cannot be all three, and a recall needs the second while a warranty claim needs the third. BFO and IOF keep them apart as Specifications versus Material Entities: a specification is information, and the car is not made of information.

Finance

Core Challenge: Legal obligations, monetary amounts, financial instruments, risk structures, identity management.

Stack: FIBO (Financial Industry Business Ontology, OMG standard) and gist (corporate MDM and transactions).

💰

The trap: money as a number :hasBalance 100.50 is not an amount of money, it is a float with no currency, no precision guarantee and no as-of date. Model it as a compound quantity: value, unit, and the moment it was true. This is why gist rebuilt magnitudes and units of measure outright in version 13. A bond or a loan then stops being a record and becomes what it actually is, a bundle of rights and commitments between legal entities, which UFO-C already knows how to express.


6. Do’s and Don’ts

Most of what follows is a corollary of one rule, so it is worth seeing that rule drawn. A role is something an entity plays for a while. The moment you model it as a class, you have asserted that it is what the entity permanently is.

BAKED IN AS A CLASS:Personrdfs:subClassOf:EmployeeAlice resigns. Retract the type and her2019 to 2024 history has nowhere to live.ROLE AS ITS OWN ENTITY:Aliceplays:EmployeeRolevalid 2019 to 2024The role ends, Alice does not. The personsurvives and the interval keeps the history.
The same trap catches cars that stop being taxis, chemicals that stop being coolant, and vendors that become customers. If the fact has an end date, it is a role, not a class.

DO

  • Model roles as distinct entities (:Person plays :EmployeeRole)
  • Model temporal attributes via explicit state nodes or 4D slices
  • Keep upper ontology mappings in isolated alignment files
  • Use SHACL shapes for runtime data validation
  • Map domain concepts to W3C primitives (PROV-O, SOSA/SSN, SKOS)

DON’T

  • Hardcode roles as classes (:Employee subClassOf :Person). People leave jobs; cars cease being taxis.
  • Attach timestamped properties directly to static entities if history matters
  • owl:import BFO/DOLCE/FIBO directly into your operational graph
  • Rely on complex OWL axioms for basic data validation
  • Reinvent standard metadata patterns from scratch

Every one of those reduces to the same instinct: keep the thing separate from what the thing is currently doing, and keep your graph separate from the ontology it happens to be mapped to.

Which leaves one decision, taken once, early, that determines whether you ever need any of this.

Do independentsystems need toshare this data?noyesStop here.Custom domain schema plusW3C utility vocabularies.What dominatesthe domain?physical assets, long lifecyclesISO 15926 / HQDM (4D)or IOF + BFO where 3D sufficescontracts, roles, obligationsgist or FIBO FNDplus UFO-C for legal relatorsEvery branch still standardises on SOSA/SSN for telemetry, PROV-O for lineage, SKOS for vocabularies.
The first question is the expensive one. Answer “no” honestly and you save yourself an alignment layer you were never going to maintain.

The failure mode this post is really about is not picking the wrong upper ontology. It is picking one at all when nobody outside your team was ever going to read your graph, or importing 50,000 axioms into a database that needed forty classes and a SHACL file.

Pattern early, map late, import never. The rest is domain detail.