Source-Ontology Core/Extension Module Conventions¶
Status: Editorial observation, direct primary-source verification of all 8 sources Date: 2026-07-05 Related specification:
docs/adr/ADR-0020-define-core-as-base-module-not-domain-tier.md,docs/adr/ADR-0021-source-classified-core-placement-criterion.md
Purpose¶
ADR-0020 defined XwkOnt's own "core" (xwkont-core:/core.ttl) as a base module distinct from optional extension modules, grounded in how three of XwkOnt's eight source ontologies (BFO, DOLCE, GFO) independently use the word "core" this way for themselves. ADR-0021 then used that pattern as the placement rule: a concept qualifies for XwkOnt-core if any one contributing source classifies it as part of that source's own core/base module. That rule left the remaining four sources (SUMO, YAMATO, TUpper, GUM) unresolved — not yet checked for whether they modularize themselves the same way at all. This note closes that gap: all 8 sources, checked directly against their own primary artifacts, not inferred or assumed.
This is a descriptive cross-cutting finding, not a new crosswalk concept — per the discussion that produced ADR-0020, "core" here is a property of each source's own publication/module structure, not a claim about what any source's classes mean in the world. It does not go in docs/crosswalks/concepts/.
Summary Table¶
| Source | Modularizes core/extension? | Own base/core artifact | Own extension artifact(s) | Own terminology for the base tier |
|---|---|---|---|---|
| BFO | Yes | bfo-core.ttl (21838-2/owl/, BFO-ontology/BFO-2020) |
Separate relation-ontology / IAO extension files | "core" (literal filename) |
| DOLCE | Yes | DOLCE-Lite (2009-relabeled "DOLCE-CORE") | DnS (ExtendedDnS.owl) |
"core" / "DOLCE-CORE" (Borgo & Masolo's own 2009 relabeling) |
| GFO | Yes | modules/gfo-base.owl |
modules/situation/*.ttl; the parallel gfo-core: namespace found inside the situation module |
"core module" (GFO's own README) |
| TUpper (via PSL) | Yes | psl_core (separate COLORE directory; tupper.clif imports several PSL modules that build on it) |
psl_actocc, psl_disc_state, psl_atomic, psl_complex, psl_duration, psl_locations, psl_occtree, psl_occurrence, psl_participates, psl_resources, psl_soo, psl_subactivity, extended_psl, interval_psl, and others (all confirmed present as sibling COLORE directories) |
"PSL-Core" — PSL's own documented terminology: "organized into PSL-Core and a partially ordered set of extensions. All extensions within PSL are consistent extensions of PSL-Core, although not all extensions within PSL need be mutually consistent." |
| SUMO | Yes, but not as "core" | Merge.kif |
Dozens of separate domain .kif files (Anatomy.kif, Cars.kif, Economy.kif, Food.kif, etc.) plus Mid-level-ontology.kif |
"upper"/"meta-level", not "core" — SUMO's own text: "SUMO originally concerned itself with meta-level concepts, and has been considerably expanded to include a mid-level ontology and dozens of domain ontologies." Merge.kif's own header additionally states: "The SUMO is a modular ontology. That is, the ontology is divided into self-contained subontologies." Directly searched Merge.kif for "core": the only hits are unrelated domain content (AtomicNucleus, Virus) and "core team" in CONTRIBUTING.md's governance section — no self-description of Merge.kif as SUMO's own "core." |
| UFO | Not file-modularized, but artifact-tiered | The 2021 comprehensive paper (Guizzardi et al.) — UFO's own primary theoretical exposition | The OntoUML vocabulary artifact — a derived modeling-notation artifact | No literal "core" self-description found; this repository's own established practice (role.md, universal-type.md, situation-state-of-affairs.md) already treats the 2021 paper as primary and OntoUML as secondary/fallback, reused here rather than newly derived |
| YAMATO | No evidence found | — | — | No internal core/extension split found in the one fetchable primary artifact (the 2010 technical report, xwkont:ref:yamato-mizoguchi-2010) or in secondary literature searched. YAMATO's own OWL/Hozo files remain behind hozo.jp's registration gate and were not fetched — this is a "not found in what's checked" absence, not a confirmed "YAMATO has no such structure." |
| GUM | Inconclusive | GUM-31.owl (GUM-3.owl namespace) |
A separate GUM-3-space.owl module is referenced alongside GUM-31.owl at the same archived location (xwkont:ref:gum-owl's own Descriptive Metadata: "An earlier GUM-3-space.owl module... also exist[s] at the same archived location but w[as] not fetched in this pass") — suggestive of some modularization, but no primary or secondary source found using "core" for GUM's own base tier. |
What This Means for ADR-0021's Placement Rule¶
Four of eight sources (BFO, DOLCE, GFO, TUpper) now directly confirm the base/extension pattern, all independently, with TUpper's finding the most explicit of all — psl_core is a literal directory name, and PSL's own documentation states the base/extension relationship in almost the same words GFO's README uses ("all extensions... are consistent extensions of PSL-Core... not all extensions... need be mutually consistent" vs. GFO's "parallel extensions... not all... consistent with each other"). This is now a 5-of-8 pattern once UFO's already-established artifact tiering is counted (SUMO also modularizes, just under different vocabulary — "upper," not "core" — so it doesn't add a sixth terminological hit, but does confirm the structural pattern extends further than "core" the word alone).
For ADR-0021's existential rule, this means: a concept whose only supporting source is TUpper can now be checked against psl_core vs. the PSL extension modules tupper.clif imports, the same way BFO/DOLCE/GFO already can. SUMO's Merge.kif vs. domain-.kif split can also be used, reusing SUMO's own "upper"/"meta-level" framing rather than forcing "core" vocabulary onto a source that doesn't use it — ADR-0021's rule is about a source's own core/base-vs-extension classification, not literally requiring the word "core," so SUMO's upper/meta-level-vs-domain split still counts. YAMATO and GUM remain genuinely unresolved: neither has confirmed evidence of an internal base/extension split at all in what's been fetched, so a concept whose only supporting source is YAMATO or GUM cannot yet be resolved by this rule and would need either source's OWL/Hozo files (YAMATO, gated) or a republished canonical host (GUM, currently dead) fetched before the question is even askable.
Provenance¶
- BFO, DOLCE, GFO: previously verified in
docs/adr/ADR-0020-define-core-as-base-module-not-domain-tier.mdand this session'ssituation-state-of-affairs.mdpass; reused here, not re-derived. - UFO: previously established across
docs/crosswalks/concepts/role.md,universal-type.md, andsituation-state-of-affairs.md; reused here. - SUMO:
Merge.kif(ontologyportal/sumo, master branch) fetched and searched directly 2026-07-05, perxwkont:ref:sumo-niles-pease-2001.CONTRIBUTING.mdalso fetched and checked. - TUpper: COLORE repository directory listing (
gruninger/colore/ontologies) fetched directly 2026-07-05, confirmingpsl_coreas a sibling directory to the PSL extension modulestupper.clifimports, perxwkont:ref:tupper-colore. PSL-Core/extension terminology confirmed via PSL's own published documentation (Grüninger et al., "The Process Specification Language (PSL) Overview and Version 1.0 Specification," NIST). - YAMATO: checked against the existing fetched technical report (
xwkont:ref:yamato-mizoguchi-2010) and a secondary-literature search; no internal modularization found in either. - GUM: checked against
xwkont:ref:gum-owl's existing Descriptive Metadata (which already notes the unfetchedGUM-3-space.owlmodule) and a secondary-literature search of Bateman's own GUM papers; no "core" terminology found.