Choosing Your Upper Ontology
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.
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.
- 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.
- Reach for Layer 2 only when independent systems, owned by different teams, must agree on what an entity is. One upper ontology, not two.
- 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.
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.
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.
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.
- 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.
- 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.
- 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.
- 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
:Chemicaland:CoolantRolestay separate. - Best suited for
- Defence and intelligence, industrial engineering via IOF, biomedical via the OBO Foundry.
- 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.
- 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.
- 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.
- 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.
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.
DO
- Model roles as distinct entities (
:Personplays: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:importBFO/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.
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.