Relation

Local identifier: xwkont:concept:relation Slug: relation Editorial status: reviewed Created: 2026-07-01 Modified: 2026-07-02

Scope Note

This crosswalk compares BFO's Relational Quality (a subtype of Quality, not a top-level category), DOLCE's immediate-relation/mediated-relation pair, UFO's formal/internal vs. material/external relation distinction (paired with Relator, per docs/crosswalks/concepts/role.md), and SUMO's Relation (a top-level Abstract Entity), as xwkont-core:Relation — a direct child of Entity in data/ontology/core.ttl, structurally different from Continuant/Occurrent's other descendants.

This crosswalk confirms a third instance of the SUMO-abstracta pattern already found in quality.md and role.md: SUMO's Relation is a top-level Abstract Entity, from which Predicate and Function derive — the same abstracta treatment already found for Quality/Attribute and Role/SocialRole. This is no longer plausibly a coincidence; it is a systematic feature of how SUMO models the entire dependent/relational-particular family that BFO/DOLCE/UFO treat as tropes, mediated particulars, or intrinsic characterizations instead.

A second, different structural mismatch is worth flagging up front: BFO has no top-level class parallel to xwkont-core:Relation at all. Its closest analog, Relational Quality, is a subtype of Quality (e.g., a parental connection) — meaning BFO folds relational content into its Quality hierarchy rather than treating "Relation" as a sibling of Continuant/Occurrent the way xwkont-core:Relation (a direct child of Entity) does. This is a placement mismatch, not just a labeling one, and worth remembering when reading quality.md's BFO content alongside this crosswalk.

Exclusions: this crosswalk does not attempt DOLCE's or UFO's full relation taxonomies beyond the immediate/mediated and formal/material top splits.

Update (2026-07-01), following direct primary-source verification, resolving uncertainty-002: DOLCE's WonderWeb D18 report and its accompanying DOLCE-Lite+ KIF source were fetched and read directly. Two findings replace the earlier speculative framing:

1. immediate-relation and UFO's "formal (internal) relation" are strongly, not just structurally, equivalent — D18's own text states it explicitly: "[Formal relations] are called equivalently immediate relations, since they hold of their relata without mediating additional individuals... The notion of 'immediate relation' seems to be equivalent to what Johansson called ground relation... This notion also equivalent to that of internal relation." DOLCE's authors are drawing the identical formal/internal-relation equivalence that UFO's literature draws.
2. mediated-relation and UFO's material relation (Relator-mediated) are not theoretically equivalent — a correction to this crosswalk's earlier framing. DOLCE's mediated-relation is a purely logical composition device: MEDIATED-RELATION(a,b) ⟺ ∃c (IMMEDIATE-RELATION(a,c) ∧ IMMEDIATE-RELATION(c,b)), documented with the example "a participation relation composed with a representation relation." The mediating c is just some existing entity that happens to chain two immediate relations together — DOLCE's apparatus does not require, or even suggest, that c be a purpose-built existentially-dependent particular. UFO's material relation, by contrast, specifically requires a Relator or externally-dependent Mode — a moment that is existentially dependent on the relation's bearers and serves as its truthmaker (see role.md). Composition-by-chaining-through-any-entity and reification-via-a-dependent-truthmaker are different mechanisms; the earlier "plausibly analogous" framing overstated the similarity.

Separately, a citation-precision note parallel to role.md's "Borgo et al., 2010" finding: the UFO 2021 Applied Ontology paper (xwkont:ref:ufo-2021), now searched in full for this pass, does not itself use the terms "formal relation" or "internal relation." It discusses material relations and their Relator/Mode truthmakers directly (already cited in role.md), but the formal/internal-relation half of the split traces to earlier UFO-adjacent literature (e.g., Guarino & Guizzardi's work on relational ontology), not to the 2021 paper. This crosswalk's citation of xwkont:ref:ufo-2021 for "formal (internal) relation" should be read as consistent-with, not sourced-from, that specific paper.

Epistemic note: BFO and SUMO content is verified directly against primary sources (bfo-core.ttl, Merge.kif, fetched and read 2026-07-01). DOLCE's immediate/mediated-relation content is now also directly verified (2026-07-01) against the WonderWeb D18 report and DOLCE-Lite+ KIF source (manual PDF-stream extraction, same technique used elsewhere in this repository). UFO's material-relation/Relator content is directly verified via the 2021 Applied Ontology paper; its formal/internal-relation terminology is not found in that paper and remains attributed only by consistency, not direct citation (see above).

Update (2026-07-02), ADR-0015 buildout: extended to GFO, YAMATO, TUpper, and GUM. GFO independently uses the exact term "Relator" — Relator (rdfs:subClassOf Individual, owl:disjointWith Property) — for a dependent, existentially-linked mediating individual, the same word UFO's literature uses for the same theoretical role; this is the single strongest direct terminological convergence found anywhere in this crosswalk, arguably in the whole ADR-0015 buildout so far (rivaled only by quality.md's Gärdenfors citations). YAMATO's own text explicitly rejects the abstract-entity treatment of relations that SUMO adopts: "Relation is sometimes considered as abstract. But it is not true... entities first exist and relations are something found between entities... it is time-dependent and hence cannot be abstract," using "the marital-relation with Mr. A and Ms. B" as its own worked example — a direct, quotable non-equivalence with SUMO's Relation, extending note-001's pattern with an explicit rather than merely-inferred fourth trope-camp data point. YAMATO itself, however, does not incorporate a full formal/material relation theory of its own — its text explicitly defers relation-handling to its implementation tool, Hozo, which supplies three built-in relations (is-a, part-of, attribute-of). TUpper again reifies no relation entity at all — consistent with quality.md's finding, its vocabulary consists entirely of direct OWL/CLIF binary relations (occurrence_of, subactivity, precedes, etc.) with no class representing "a relation" as a thing in its own right. GUM introduces a fourth, genuinely distinct modeling style: Relating ("a configuration indicating a relation holding between two entities... must contain at least a domain and an attribute") is reified, but as a subtype of Configuration — a clause-level situation/state-of-affairs construct (alongside a Process), not a trope, not an abstracta, and not a bare predicate.

Labels, Alternate Labels, and Source Terminology

Role	Label or term	Source	Language	Notes
XwkOnt working label	Relation	XwkOnt	en	Matches xwkont-core:Relation (rdfs:subClassOf xwkont-core:Entity, a direct child, not nested under Continuant/Occurrent) in data/ontology/core.ttl.
Source term	(none — see Relational Quality, a subtype of Quality)	BFO	en	No top-level "Relation" class; see Scope Note.
Source term	immediate-relation / mediated-relation	DOLCE	en	Confirmed 2026-07-01 by direct primary-source reading: immediate-relation is DOLCE's own equivalent of "internal relation"; mediated-relation is a relation-composition device, not a reification mechanism — see Scope Note.
Source term	formal/internal relation vs. material/external relation (+ Relator)	UFO	en	Relator already covered in role.md. The 2021 paper verifies material relation's Relator/Mode truthmakers directly but does not itself use "formal"/"internal relation" terminology — see Scope Note.
Source term	Relation (an Abstract Entity)	SUMO	en	Same abstracta treatment as Quality/Attribute and Role/SocialRole.
Source term	Relator	GFO	en	Independently uses UFO's own term for a dependent, relation-mediating individual — the strongest terminological convergence in this crosswalk.
Source term	relation (explicitly not abstract)	YAMATO	en	Positively discussed but not formally elaborated in the paper's own OWL/theory — defers to its implementation tool, Hozo.
Source term	(none — direct binary relations only)	TUpper	en	No reified Relation entity class; consistent with quality.md's TUpper finding.
Source term	Relating	GUM	en	Reified as a subtype of Configuration (clause-level situation), not a trope or abstracta.

Source Definitions and Contextual Notes

Source	Term or identifier	Dimension	Claim type	Definition, quotation, or paraphrase	Reference	Locator	Notes
BFO	Relational Quality (BFO_0000145)	technical	direct quotation	"b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d." Examples: "A marriage bond; an instance of love; an obligation between one person and another." Confirmed subclass of Quality (BFO_0000019), not a top-level class.	xwkont:ref:bfo-2020	verified: bfo-core.ttl, class BFO_0000145, fetched and read directly 2026-07-01	See quality.md for BFO's general Quality treatment, of which this is a subtype. Confirms the placement mismatch (subtype of Quality, not top-level) directly rather than by inference.
DOLCE	immediate-relation (aka formal relation)	technical	direct quotation	"A relation is formal if it holds as soon as its relata are given. Formal relations are called equivalently immediate relations, since they hold of their relata without mediating additional individuals... The notion of 'immediate relation' seems to be equivalent to what Johansson called ground relation... This notion also equivalent to that of internal relation." Formalized in DOLCE-Lite+: (DEFRELATION IMMEDIATE-RELATION (?A ?B)), documented as "A relation that holds without additional mediating individuals. In logical terms, a non-composed relation."	xwkont:ref:dolce-wonderweb-d18	verified: WonderWeb D18 PDF and DOLCE-Lite+ KIF source, manually extracted 2026-07-01	DOLCE's own text explicitly equates immediate-relation with "internal relation" — directly confirms, rather than merely suggests, the pairing with UFO's formal/internal relation terminology.
DOLCE	mediated-relation	technical	direct quotation	Formalized in DOLCE-Lite+: (DEFRELATION MEDIATED-RELATION (?A ?B) :<=> (EXISTS (?C) (AND (IMMEDIATE-RELATION ?A ?C) (IMMEDIATE-RELATION ?C ?B)))), documented as "A relation that composes other relations. For example, a participation relation composed with a representation relation."	xwkont:ref:dolce-wonderweb-d18	verified: WonderWeb D18 PDF and DOLCE-Lite+ KIF source, manually extracted 2026-07-01	Correction: this is a pure logical-composition device (any entity c chaining two immediate relations satisfies it) — it does not require or entail a reified, existentially-dependent mediating particular the way UFO's Relator does. Not theoretically equivalent to UFO's material relation; see Scope Note and uncertainty-002 resolution.
UFO	formal (internal) relation	philosophical	paraphrase	A relation determined by the intrinsic properties of its relata alone, requiring no mediating individual (e.g., "taller than," holding merely because of the relata's own heights). Described in the ontology-driven conceptual modeling literature as an "internal relation" following Guarino, Guizzardi, and colleagues.	none found in xwkont:ref:ufo-2021 directly	secondary-source paraphrase; the 2021 Applied Ontology paper was searched in full in this pass and does not use "formal relation" or "internal relation" terminology — see Scope Note citation-precision note	Classified philosophical because internal/external relation status is itself a metaphysical distinction, not merely structural. Confirmed consistent with, but not sourced from, xwkont:ref:ufo-2021.
UFO	material (external) relation	technical	direct quotation	"Externally dependent modes as well as relators serve as truthmakers of material relations..., the first for one-sided relations and the second for double-sided (or multi-sided) ones." A relation requiring a mediating Relator or externally-dependent Mode — an existentially dependent individual that aggregates the externally-dependent Modes the relata acquire by participating in the relation.	xwkont:ref:ufo-2021	verified: Applied Ontology 2021 PDF, manually extracted 2026-07-01	Directly continues role.md's Relator content; now a direct quotation rather than a paraphrase.
SUMO	Relation	technical	direct quotation	"(subclass Relation Abstract)... (partition Relation Predicate Function)... The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators."	xwkont:ref:sumo-niles-pease-2001	verified: Merge.kif, documentation Relation EnglishLanguage, fetched and read directly 2026-07-01	Confirms the abstract-entity classification directly. Same abstracta pattern as quality.md/role.md.
GFO	Relator	technical	direct quotation	No skos:definition on Relator itself; structural axioms only: rdfs:subClassOf Individual, owl:disjointWith Property. Its companion Relational_role (rdfs:subClassOf Dependent, Role) is defined via a restriction: role_of some Relator.	xwkont:ref:gfo	verified: modules/gfo-base.owl, classes Relator, Relational_role, fetched and read directly 2026-07-02	The exact term "Relator," independently used for a dependent-individual relation-mediator — the same word, and structurally similar theoretical role, as UFO's own Relator. No prose definition to compare in detail, only structural axioms, but the terminological match itself is striking.
YAMATO	Relation is not abstract	philosophical	direct quotation	"Relation is sometimes considered as abstract. But it is not true, though it is something in the higher order than an entity, that is, entities first exist and relations are something found between entities. An example is the marital-relation with Mr. A and Ms. B that is time-dependent and hence cannot be abstract. Although it is intangible, it exists in the time frame of the real world."	xwkont:ref:yamato-mizoguchi-2010	verified: YAMATO101216.pdf, "Entity and relation" section, extracted 2026-07-02	A direct, explicit rejection of the abstract-entity treatment SUMO adopts — the clearest single statement of the trope-camp position found anywhere in this crosswalk, framed almost as a direct rebuttal of SUMO-style modeling (though not citing SUMO by name here).
YAMATO	Relation theory deferred to Hozo	technical	direct quotation	"Relations are not incorporated in YAMATO... because Hozo deals with relations and the wholeness concepts (ordinary types) in different worlds... Hozo has three built-in relations: is-a, part-of and attribute-of which are exploited to define types in YAMATO."	xwkont:ref:yamato-mizoguchi-2010	verified: YAMATO101216.pdf, "Roles, functions and relations" (concluding) section, extracted 2026-07-02	YAMATO's own text discloses that it does not formally elaborate a relation theory of its own the way DOLCE/UFO do — relation-handling is delegated to its implementation tool. This caps confidence on any YAMATO-relation mapping below the level DOLCE/UFO earn each other.
TUpper	(no reified relation entity — direct binary relations only)	technical	non-equivalence	tupper.all.owl and TUpper-Terms.html define relations exclusively as OWL/CLIF binary predicates (occurrence_of, subactivity, precedes, earlier, etc.), each documented in prose as "the ... relation between..." — never as an instance of a reified "Relation" class.	xwkont:ref:tupper-colore	verified absence: both files searched directly, 2026-07-02	Consistent with quality.md's TUpper finding: TUpper reifies neither dependent particulars nor abstract entities for this kind of content — it stays at the level of bare predicates throughout.
GUM	Relating	technical	direct quotation	"A configuration indicating a relation holding between two entities. A relating must contain at least a domain and an attribute." rdfs:subClassOf BeingAndHaving, itself rdfs:subClassOf Configuration ("the basic fragment of experience that embodies one quantum of change... potentially consist[ing] of... the Process itself, Participants..., and Circumstances... It unfolds through time.").	xwkont:ref:gum-owl	verified: GUM-31.owl, classes Relating, BeingAndHaving, Configuration, fetched and read directly 2026-07-02	A fourth distinct modeling style: GUM reifies relation as a clause-level situation/state-of-affairs (containing its own Process), not as a dependent trope (BFO/DOLCE/UFO/GFO), an abstract entity (SUMO), or a bare predicate (TUpper).

Source Ontology Correspondences

Correspondence ID	Source ontology	Source term	Source identifier or IRI	Source version	Reference	Inclusion rationale
xwkont:correspondence:relation:001	BFO	Relational Quality	BFO_0000145	BFO 2020	xwkont:ref:bfo-2020	Closest BFO analog despite the placement mismatch (subtype of Quality, not a top-level class).
xwkont:correspondence:relation:002	DOLCE	immediate-relation / mediated-relation	http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#immediate-relation, #mediated-relation (confirmed directly, 2026-07-01)	WonderWeb D18, 2003 (directly verified 2026-07-01)	xwkont:ref:dolce-wonderweb-d18, xwkont:ref:dolce-lite-owl	DOLCE's own top-level relation split.
xwkont:correspondence:relation:003	UFO	formal/material relation + Relator	not applicable — UFO's 2021 paper has no IRI scheme of its own; see continuant-occurrent.md's correspondence rows 005/006 for the gUFO caveat	Applied Ontology, 2021 (material relation/Relator directly verified 2026-07-01; formal/internal relation terminology not found in this paper, see Scope Note)	xwkont:ref:ufo-2021	UFO's most elaborated relation theory of the four sources.
xwkont:correspondence:relation:004	SUMO	Relation	Relation (SUMO/SUO-KIF has no separate opaque identifier scheme — the term name itself is the identifier)	2001 (Niles & Pease) plus current SUMO source (not independently confirmed)	xwkont:ref:sumo-niles-pease-2001	Direct top-level analog, though metaphysically an abstract entity rather than a dependent/mediated particular.
xwkont:correspondence:relation:005	GFO	Relator	https://w3id.org/gfo/base/Relator	GFO 2024-11-18 (directly verified 2026-07-02)	xwkont:ref:gfo	Independently uses UFO's own term for a dependent relation-mediator; the strongest single-term convergence found in this crosswalk.
xwkont:correspondence:relation:006	YAMATO	Relation (not abstract; theory deferred to Hozo)	not applicable — registration-gated OWL/Hozo download not fetched; cited by quotation from the 2010 technical report, not by IRI	2010 technical report (directly verified 2026-07-02)	xwkont:ref:yamato-mizoguchi-2010	Explicit, quotable non-equivalence with SUMO's abstracta treatment, included despite YAMATO's own admission that it lacks a full formal relation theory of its own.
xwkont:correspondence:relation:007	GUM	Relating	http://www.ontospace.uni-bremen.de/ontology/stable/GUM-3.owl#Relating	GUM 3.1 (directly verified 2026-07-02)	xwkont:ref:gum-owl	A fourth distinct modeling style — relation reified as a clause-level Configuration, not a trope or abstracta.

No TUpper correspondence is recorded (ADR-0015 buildout, 2026-07-02) — see Source Definitions; consistent with quality.md's TUpper finding, no relation is reified as an entity at all.

Semantic Comparison Notes

Note ID	Dimension	Claim type	Note	Supporting references	Confidence
note-001	philosophical	editorial observation	SUMO's Relation (a top-level Abstract Entity) confirms a third instance of the pattern found in quality.md and role.md: SUMO systematically treats the entire dependent/relational-particular family as abstract entities, while BFO/DOLCE/UFO treat the same territory as tropes, mediated particulars (Relators), or intrinsic characterizations. Three concepts now show this pattern; it is a systematic feature of SUMO's design, not a coincidence.	xwkont:ref:bfo-2020, xwkont:ref:dolce-wonderweb-d18, xwkont:ref:ufo-2021, xwkont:ref:sumo-niles-pease-2001	high
note-002	technical	editorial observation	Split finding, confirmed 2026-07-01 by direct primary-source reading (resolves uncertainty-002): the immediate/formal side of the split is a strong match — DOLCE's own D18 text explicitly equates immediate-relation with "internal relation," the same term UFO's literature uses. The mediated/material side is not equivalent: DOLCE's mediated-relation is a pure logical-composition device (holds whenever some entity chains two immediate relations together), while UFO's material relation specifically requires a reified, existentially-dependent Relator/Mode as truthmaker. Composition-through-any-entity and reification-via-a-dependent-particular are different mechanisms, even though both are informally described as "requiring a mediator."	xwkont:ref:dolce-wonderweb-d18, xwkont:ref:ufo-2021	high
note-003	technical	non-equivalence	BFO's Relational Quality is nested under Quality, not placed as a sibling of Continuant/Occurrent the way xwkont-core:Relation (a direct child of Entity) is. This is a placement mismatch between XwkOnt's own scaffold and BFO's actual hierarchy, worth flagging rather than silently treating BFO's analog as if it sat at the same structural level.	xwkont:ref:bfo-2020	high
note-004	philosophical	editorial observation	note-001's SUMO-abstracta pattern gains an explicit, quotable fourth trope-camp data point: YAMATO's own text directly denies that relations are abstract ("Relation is sometimes considered as abstract. But it is not true... it is time-dependent and hence cannot be abstract"), the clearest single statement of the trope-camp position found anywhere in this crosswalk. GFO's Relator (a dependent Individual, disjoint from Property) reinforces the same camp structurally, without a comparably explicit philosophical statement. TUpper again declines to reify relational content at all (no trope, no abstracta — bare predicates only, consistent with quality.md's finding), and GUM's Relating introduces a genuinely fourth modeling style: relation reified as a clause-level situation (Configuration), neither trope nor abstracta nor bare predicate.	xwkont:ref:yamato-mizoguchi-2010, xwkont:ref:gfo, xwkont:ref:tupper-colore, xwkont:ref:gum-owl	high
note-005	technical	editorial observation	GFO's Relator uses the exact same term as UFO's own Relator concept — the strongest direct terminological convergence found anywhere in this crosswalk. Both are individuals (not universals/abstracta), both structurally distinguished from properties/qualities, and both play the same theoretical role of mediating a relationship between other entities. GFO's own text carries no prose definition to compare against UFO's elaborated truthmaker theory in detail, so this is a structural/terminological convergence, not a confirmed theoretical identity.	xwkont:ref:gfo, xwkont:ref:ufo-2021	medium-high

Mapping Assertions or Candidate Relations

Mapping ID	Subject	Relation category	Object	predicate_id	mapping_justification	Status	Confidence	Rationale	Provenance
xwkont:mapping:relation:001	DOLCE:mediated-relation	related	UFO:material (external) relation	skos:relatedMatch	semapv:ManualMappingCuration	candidate	low-medium	Downgraded 2026-07-01 from close-match/medium after direct primary-source reading: DOLCE's mediated-relation is a pure logical-composition device requiring no reified mediating particular, while UFO's material relation specifically requires a Relator/Mode truthmaker (note-002). Both informally involve "a mediator," but the underlying apparatus differs, so close-match overstated the similarity — kept as related (non-hierarchical semantic association) because the two do occupy the same rough conceptual territory (relations needing something beyond the bare relata).	xwkont:ref:dolce-wonderweb-d18, xwkont:ref:ufo-2021
xwkont:mapping:relation:002	DOLCE:immediate-relation	close-match	UFO:formal (internal) relation	skos:closeMatch	semapv:ManualMappingCuration	candidate	high	Raised 2026-07-01 from medium: DOLCE's own D18 text explicitly equates immediate-relation with "internal relation," directly confirming (not just structurally suggesting) the pairing with UFO's formal/internal relation terminology (note-002). Not raised further because that exact UFO term was not found in xwkont:ref:ufo-2021 itself (see Scope Note).	xwkont:ref:dolce-wonderweb-d18, xwkont:ref:ufo-2021
xwkont:mapping:relation:003	BFO:Relational Quality	unknown	xwkont-core:Relation (structural placement)	none	semapv:ManualMappingCuration	candidate	low	Recorded to make the placement mismatch explicit (note-003) rather than silently mapping BFO's subtype-of-Quality analog onto XwkOnt's Entity-level category as if they were structurally equivalent.	xwkont:ref:bfo-2020
xwkont:mapping:relation:004	UFO:material (external) relation + Relator	explicit-non-equivalence	SUMO:Relation	none	semapv:ManualMappingCuration	candidate	high	Confirmed metaphysical divergence, same pattern as quality.md mapping-004 and role.md mapping-004: UFO's relation theory is trope/mediated-particular-based; SUMO's Relation is an abstract entity.	xwkont:ref:ufo-2021, xwkont:ref:sumo-niles-pease-2001
xwkont:mapping:relation:005	GFO:Relator	close-match	UFO:material (external) relation + Relator	skos:closeMatch	semapv:ManualMappingCuration	candidate	medium-high	The exact same term, independently used for a dependent individual mediating a relationship between other entities (note-005). Not high because GFO's own text supplies no prose definition to compare against UFO's elaborated truthmaker theory — the convergence is terminological/structural, not confirmed at the level of theoretical detail.	xwkont:ref:gfo, xwkont:ref:ufo-2021
xwkont:mapping:relation:006	GFO:Relator	explicit-non-equivalence	SUMO:Relation	none	semapv:ManualMappingCuration	candidate	high	Same pattern as mapping-004: GFO's Relator is a dependent Individual (a particular), while SUMO's Relation is an abstract entity — the confirmed metaphysical divergence extended to a further source.	xwkont:ref:gfo, xwkont:ref:sumo-niles-pease-2001
xwkont:mapping:relation:007	SUMO:Relation	explicit-non-equivalence	YAMATO:relation (not abstract)	none	semapv:ManualMappingCuration	candidate	high	A direct, quotable non-equivalence: YAMATO's own text explicitly denies relations are abstract ("it is time-dependent and hence cannot be abstract"), the clearest single rejection of SUMO's abstracta-treatment found in this crosswalk (note-004). High confidence in the non-equivalence itself, independent of YAMATO's disclosed lack of a fully elaborated relation theory.	xwkont:ref:sumo-niles-pease-2001, xwkont:ref:yamato-mizoguchi-2010
xwkont:mapping:relation:008	xwkont-core:Relation	unknown	TUpper	none	semapv:ManualMappingCuration	candidate	low	No TUpper correspondence identified; TUpper reifies no relation entity at all, only bare binary predicates — consistent with quality.md's TUpper finding (note-004). Recorded explicitly rather than silently omitted.	xwkont:ref:tupper-colore
xwkont:mapping:relation:009	xwkont-core:Relation	unknown	GUM:Relating	none	semapv:ManualMappingCuration	candidate	low	GUM's Relating is genuinely reified, unlike TUpper, but as a clause-level Configuration (situation/state-of-affairs, containing its own Process) — a fourth modeling style distinct from the trope, abstracta, and bare-predicate camps already found (note-004). Not confidently placed in any existing category, so left unknown rather than forced into a close-match.	xwkont:ref:gum-owl

Uncertainty, Non-Equivalence, and Open Questions

Item ID	Type	Description	Impact	Follow-up
uncertainty-001	~~non-equivalence~~ resolved 2026-07-01	BFO has no top-level "Relation" class; its closest analog (Relational Quality, BFO_0000145) is confirmed directly (subclass of Quality, BFO_0000019), not placed as a sibling to Continuant/Occurrent. No other, more direct Relation analog was found in bfo-core.ttl.	mapping-003 recorded at low confidence to surface this, now on a verified rather than inferred basis.	Resolved — no further action needed.
uncertainty-002	~~uncertainty~~ resolved 2026-07-01	Whether DOLCE's mediated-relation and UFO's Relator-mediated material relation are theoretically equivalent, or merely structurally similar. Confirmed not equivalent by direct reading of DOLCE's D18/DOLCE-Lite+ source and the UFO 2021 paper: DOLCE's mediated-relation is a logical-composition device (no reification required); UFO's material relation requires a reified Relator/Mode truthmaker. The immediate/formal half of the split, by contrast, is confirmed strongly equivalent (DOLCE's own text equates immediate-relation with "internal relation").	mapping-001 downgraded from close-match/medium to related/low-medium; mapping-002 raised from medium to high.	Resolved — no further action needed.
uncertainty-003	~~open-question~~ resolved (stale by the time of this update)	This item originally flagged that only InformationArtifact remained among the direct Entity children. docs/crosswalks/concepts/information-artifact.md has since been created and all 7 planned crosswalks are complete (confirmed via the completed original concept inventory).	N/A	Resolved — no further action needed.
uncertainty-004	open-question	GFO's Relator carries no skos:definition of its own — only structural axioms (subClassOf Individual, disjointWith Property). Whether GFO's Relator theory matches UFO's truthmaker apparatus in detail (not just terminologically) is unconfirmed; GFO's situation module (not fetched in this pass, per information-artifact.md's uncertainty-004) might contain more elaborated Relator content.	mapping-005's confidence is capped at medium-high partly for this reason.	Check GFO's situation module for more elaborated Relator content if a future pass wants to raise mapping-005's confidence past medium-high.
uncertainty-005	open-question	YAMATO's own OWL/Hozo files were not fetched in this pass (registration-gated download; see xwkont:ref:yamato-mizoguchi-2010), so correspondence-006/mapping-007 are cited by quotation from the 2010 technical report, not by class IRI. YAMATO's own text discloses that its relation theory is deferred to Hozo (three built-in relations: is-a, part-of, attribute-of) — whether Hozo's own documentation (not examined in this pass) elaborates a formal/material-style split comparable to DOLCE/UFO's is unknown.	This crosswalk's YAMATO content is limited to the philosophical non-abstracta claim; no structural Relation-taxonomy correspondence was attempted for YAMATO beyond that claim.	Check Hozo's own documentation for a more elaborated relation theory if a future pass wants to extend YAMATO's coverage in this crosswalk beyond note-004's philosophical point.

Provenance and References

• xwkont:ref:bfo-2020 — Basic Formal Ontology (BFO) 2020 / ISO/IEC 21838-2:2021 — verified directly against bfo-core.ttl, 2026-07-01
• xwkont:ref:dolce-wonderweb-d18 — WonderWeb Deliverable D18: Ontology Library (Masolo et al., 2003) — verified directly (manual PDF extraction; immediate/mediated-relation content specifically), 2026-07-01
• xwkont:ref:dolce-lite-owl — DOLCE-Lite OWL translation — verified directly (fetched as plain-text RDF/XML), 2026-07-01; supplies the exact immediate-relation/mediated-relation class IRIs
• xwkont:ref:ufo-2021 — UFO: Unified Foundational Ontology (Guizzardi et al., 2021) — verified directly (manual PDF extraction; material relation/Relator content specifically), 2026-07-01
• xwkont:ref:sumo-niles-pease-2001 — Towards a Standard Upper Ontology (Niles & Pease, 2001) — verified directly against current SUMO Merge.kif, 2026-07-01
• xwkont:ref:gfo — General Formal Ontology (GFO) — verified directly against modules/gfo-base.owl (Relator, Relational_role), 2026-07-02
• xwkont:ref:yamato-mizoguchi-2010 — YAMATO 2010 technical report (Mizoguchi) — verified directly (PDF extraction, "Entity and relation" / "Roles, functions and relations" sections), 2026-07-02
• xwkont:ref:tupper-colore — TUpper COLORE formalization (Grüninger) — verified absence (of a reified Relation class) directly against tupper.all.owl/TUpper-Terms.html, 2026-07-02
• xwkont:ref:gum-owl — GUM 3.1 OWL (Bateman) — verified directly against GUM-31.owl (Relating, BeingAndHaving, Configuration), 2026-07-02

Review History

Review ID	Date	Outcome	Notes
xwkont:review:relation:2026-07-01:01	2026-07-01	Passed — advanced draft → reviewed	Checked against docs/governance/contributing.md's Review Checklist: scope preserved; BFO/DOLCE/UFO/SUMO content all verified directly, including a self-correction (DOLCE's mediated-relation and UFO's material relation are not theoretically equivalent, contrary to the crosswalk's own original "plausibly analogous" hedge) and a confirmed strong match on the other half of the split (immediate-relation/"internal relation"); mapping categories/confidence valid (mapping-001's related/low-medium and mapping-002's high both now compliant with ADR-0013). No undisclosed gaps found. Self-review, not independent third-party review.
—	2026-07-02	Not yet reviewed — status reverted reviewed → candidate	ADR-0015 buildout added GFO/YAMATO/GUM correspondences (005-007), five new mappings (005-009), two new notes (004-005), and two new uncertainty items (004-005). Standout finding: GFO independently uses the exact term "Relator" for the same theoretical role as UFO's Relator — the strongest terminological convergence found in this crosswalk. YAMATO's own text explicitly denies relations are abstract, a direct rebuttal-shaped non-equivalence with SUMO. TUpper again reifies nothing (consistent with quality.md); GUM's Relating introduces a fourth modeling style (relation-as-situation). All findings directly verified against already-fetched primary artifacts; no re-fetching needed beyond a fresh YAMATO PDF section. Pending maintainer review before advancing back to reviewed.
xwkont:review:relation:2026-07-02:02	2026-07-02	Passed — advanced candidate → reviewed	Consolidated review pass, per docs/governance/contributing.md's Review Checklist, of the ADR-0015 buildout content across all 8 concept crosswalks. Checked: scope preserved; every xwkont:ref:* citation resolves; correspondence/mapping/note/uncertainty ID numbering sequential with no gaps or duplicates; relation-category and confidence values compliant with docs/methodology/crosswalk-methodology.md/ADR-0013 (the medium-high mapping here states a sourcing-driven reason); independently re-verified GFO's Relator structural axioms and YAMATO's "Relation is sometimes considered as abstract" quotation against the fetched artifacts and found no transcription errors. Self-review performed at the maintainer's explicit request, not independent third-party review.

Future Work

• ~~Confirm directly against BFO's primary OWL annotations~~ — done 2026-07-01, uncertainty-001 resolved.
• ~~Read DOLCE's and UFO's primary relation-theory literature directly to compare mediated-relation and Relator-mediated material relation~~ — done 2026-07-01, uncertainty-002 resolved: not theoretically equivalent (mapping-001 downgraded); the immediate/formal side is confirmed strongly equivalent instead (mapping-002 raised).
• ~~Create the InformationArtifact concept crosswalk~~ — already exists at docs/crosswalks/concepts/information-artifact.md; uncertainty-003 marked resolved as stale.
• ~~With Quality, Role, and Relation all showing the SUMO-abstracta pattern, write it up as a standalone cross-cutting finding once InformationArtifact is also checked against it~~ — done 2026-07-01 at docs/methodology/sumo-modeling-patterns.md.
• ~~Extend GFO/YAMATO/TUpper/GUM correspondences to this crosswalk~~ — done 2026-07-02 (ADR-0015 buildout, 7 of 8 crosswalks). Pending maintainer review (uncertainty-004/uncertainty-005 remain open).
• Check GFO's situation module for more elaborated Relator content (uncertainty-004); check Hozo's own documentation for a more elaborated YAMATO relation theory (uncertainty-005).