Proposition / Content

Local identifier: xwkont:concept:proposition-content Slug: proposition-content Editorial status: reviewed Created: 2026-07-04 Modified: 2026-07-06

Scope Note

Selection rationale (per ADR-0018's admission bar): Proposition / Content is the ninth and final concept of the 0.2.0 batch. Direct primary-source verification this session found a nameable category in exactly the 3 of 8 sources TODO.md's seed claimed (DOLCE proposition, SUMO Proposition, YAMATO proposition/content) — the only 0.2.0-batch concept so far where the seed's source count and source list both hold up unchanged. BFO, UFO, GFO, TUpper, and GUM were confirmed to have no reified Proposition/Content category; BFO's IAO extension (the standard BFO module for content-bearing/information entities, already relevant background for the reviewed information-artifact.md) was also checked and confirmed to have none.

This crosswalk compares each source ontology's own treatment of a truth-bearing or meaning-bearing abstract content — the what is said/meant, as distinct from any physical or informational bearer of it — closely related to but distinct from Information Artifact (already reviewed; SUMO's and YAMATO's own documentation each explicitly draw the bearer/content distinction this crosswalk's scope depends on) and from Abstract vs. Concrete (already drafted, abstract-concrete.md; both DOLCE's and SUMO's Proposition are direct subtypes of their own Abstract category). Sources compared: BFO, DOLCE, SUMO, UFO, GFO, YAMATO, TUpper, GUM (per ADR-0015's 8-source scope).

Cross-cutting finding, established this session: all three confirmed sources converge on the same core distinction — a proposition/content is the abstract, representation-independent thing meant, sharply distinguished by each source's own documentation from any of its concrete/physical representations. SUMO's own documentation states this most explicitly, contrasting Proposition with ContentBearingObject by name: "A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information... an abstraction that may have multiple representations: strings, sounds, icons, etc." DOLCE's proposition similarly emphasizes "abstract content is purely combinatorial." YAMATO's own apparatus is the richest of the three, embedding the same bearer/content distinction directly into its representation theory: "Content is the hidden part of representation and it is a proposition which the author of the representation would like to convey through the representation... there can be many ways to code the same content into different forms." All three sources file this concept as (or, for YAMATO, alongside) their own Abstract category — the same convergence pattern abstract-concrete.md found for DOLCE/SUMO/GFO more generally, here holding for a third, more specific pair. See note-001.

Exclusions: this crosswalk does not address Information Artifact (already reviewed; the bearer/content distinction each source draws is the direct complement of that crosswalk's own scope, not re-litigated here) or Universal/Type (already drafted; SUMO's own Class/Set machinery, crosswalked there, is a structural sibling of Proposition under SUMO's disjointDecomposition Abstract Quantity Attribute Relation Proposition List, per abstract-concrete.md's note-004).

Core.ttl placement is deliberately left open at this draft stage — see Uncertainty.

Labels, Alternate Labels, and Source Terminology

Role	Label or term	Source	Language	Notes
XwkOnt working label	Proposition / Content	XwkOnt	en	Not yet in data/ontology/core.ttl — see Scope Note.
Alternate label	(no class — see Uncertainty)	BFO	en	Zero occurrences of "proposition" in bfo-core.ttl or in the IAO (Information Artifact Ontology) extension module.
Source term	Proposition	DOLCE	en	Direct subclass of abstract (per abstract-concrete.md's own DOLCE findings).
Source term	Proposition	SUMO	en	Direct subclass of Abstract; explicitly contrasted with ContentBearingObject in the same documentation passage.
Alternate label	(one incidental bibliographic mention only — see Uncertainty)	UFO	en	The single occurrence of "proposition" in the 2021 paper is inside a citation to separate UFO-adjacent literature (Guarino et al. 2019, on "Weak Truthmaking"), not a defined UFO class.
Alternate label	(no class — see Uncertainty)	GFO	en	Zero occurrences of "proposition" in modules/gfo-base.owl.
Source term	Proposition (+ Content, representation-primary, representation-secondary, designed proposition, product proposition)	YAMATO	en	The richest treatment of any source, embedded in YAMATO's own form/content/proposition representation theory.
Alternate label	(no class — see Uncertainty)	TUpper	en	Zero occurrences of "proposition" in TUpper-Terms.html.
Alternate label	(no class — see Uncertainty)	GUM	en	Zero occurrences of "Proposition" or "Content" as defined GUM classes in GUM-31.owl.

Source Definitions and Contextual Notes

Source	Term or identifier	Dimension	Claim type	Definition, quotation, or paraphrase	Reference	Locator	Notes
BFO	(no class found)	technical	non-equivalence	Full-text grep of bfo-core.ttl for "proposition" (case-insensitive) returned zero matches; a separately fetched copy of the IAO (Information Artifact Ontology) extension module — the standard BFO-adjacent module for content-bearing/information entities, already relevant background for information-artifact.md — was also checked and returned zero matches.	xwkont:ref:bfo-2020, xwkont:ref:iao-owl	verified absence: bfo-core.ttl and IAO OWL module, fetched and read directly 2026-07-04	BFO/IAO's own approach to content (information content entity, a generically dependent continuant, already the primary subject of information-artifact.md) does not distinguish a separate, representation-independent Proposition the way DOLCE/SUMO/YAMATO do — content in BFO/IAO is always tied to its bearer relation, not reified as an independent abstract entity in its own right.
DOLCE	Proposition	philosophical	direct quotation	"The abstract content of a proposition. Abstract content is purely combinatorial: from this viewpoint, any content that can be generated by means of combinatorial rules is assumed to exist in the domain of quantification (reified abstracts)." rdfs:subClassOf abstract.	xwkont:ref:dolce-lite-owl	verified: DOLCE-Lite.owl, class #proposition, fetched and read directly 2026-07-04	A direct subtype of DOLCE's own abstract (per abstract-concrete.md's own findings) — DOLCE's own comment frames propositional content as combinatorially generated, a more formal/logical framing than SUMO's or YAMATO's own prose.
SUMO	Proposition	technical	direct quotation	"Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats... It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc." (subclass Proposition Abstract).	xwkont:ref:sumo-niles-pease-2001	verified: current Merge.kif, fetched and read directly 2026-07-04	The most explicit bearer/content distinction of any source in this crosswalk — SUMO's own documentation names both sides of the distinction (Proposition vs. ContentBearingObject) and gives a worked multi-representation example (the same content as strings, sounds, or icons), directly paralleling YAMATO's own framing below.
UFO	(no reified class; one incidental bibliographic mention)	technical	non-equivalence	The paper's only occurrence of "proposition" is inside a citation to separate literature: "...including a proposal for Weak Truthmaking (Guarino et al., 2019) connecting particularized properties to propositions." No Proposition class is defined anywhere in UFO's own axioms.	xwkont:ref:ufo-2021	verified absence (one incidental mention): 2021 Applied Ontology paper, already-extracted text re-searched directly 2026-07-04	This single hit is a pointer to other researchers' work building on UFO (Guarino et al.'s Weak Truthmaking theory), not a UFO-internal Proposition construct — consistent with this crosswalk's practice (already applied to YAMATO's "quantity" and UFO's/GFO's "category") of not inflating an incidental mention into a correspondence.
GFO	(no class found)	technical	non-equivalence	Full-text grep of modules/gfo-base.owl for "proposition" (case-insensitive) returned zero matches.	xwkont:ref:gfo	verified absence: modules/gfo-base.owl, fetched and read directly 2026-07-04	The third 0.2.0-batch concept (after Situation/State of Affairs and Mereology/Parthood/Aggregate) where GFO — otherwise a consistent contributor of formally exhaustive top-level splits across this batch — has no counterpart category at all.
YAMATO	Proposition (+ Content)	philosophical	direct quotation	"Content is the hidden part of representation and it is a proposition which the author of the representation would like to convey through the representation. Apparently, there can be many ways to code the same content into different forms to produce different representations." "Proposition is what is to be represented and is divided into representation-primary and representation-secondary. The latter includes fact, data and thought, etc." Further subdivided: "Representation-primary proposition has two subclasses: designed proposition, product proposition."	xwkont:ref:yamato-mizoguchi-2010	verified: 2010 technical report, full extracted text re-searched directly 2026-07-04	The richest treatment of any of the three confirmed sources — embedded directly in YAMATO's own form/content/proposition representation theory (already touched on informally when quantity-amount-of-matter.md's YAMATO row discussed "quantity... made accessible as a proposition as a result of measuring"). Confirms both halves of TODO.md's seed naming (proposition and content) as genuinely distinct but related YAMATO terms — "content" is the informal, representation-relative name for what "proposition" names formally as a class.
TUpper	(no class found)	technical	non-equivalence	Full-text grep of TUpper-Terms.html for "proposition" (case-insensitive) returned zero matches.	xwkont:ref:tupper-colore	verified absence: TUpper-Terms.html, fetched and read directly 2026-07-04	Consistent with TUpper's general lack of Abstract/Concrete-split machinery already found in abstract-concrete.md (informal mention only, no reified class).
GUM	(no class found)	technical	non-equivalence	Full-text grep of GUM-31.owl for #Proposition and #Content (GUM's own PascalCase convention) returned zero matches.	xwkont:ref:gum-owl	verified absence: GUM-31.owl, fetched and read directly 2026-07-04	The fifth 0.2.0-batch concept (of nine total) where GUM contributes nothing previously uncredited — across the full batch, GUM has now contributed new content in exactly 4 of 9 concepts (Time, Space, Abstract vs. Concrete, Quantity/Amount of Matter) and nothing in the other 5.

Source Ontology Correspondences

Correspondence ID	Source ontology	Source term	Source identifier or IRI	Source version	Reference	Inclusion rationale
xwkont:correspondence:proposition-content:001	DOLCE	Proposition	http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proposition	DOLCE-Lite v397 (directly verified 2026-07-04)	xwkont:ref:dolce-lite-owl	Direct terminological match; a direct subtype of DOLCE's own abstract.
xwkont:correspondence:proposition-content:002	SUMO	Proposition	Proposition (SUMO term names are their own identifiers)	Current Merge.kif (directly verified 2026-07-04)	xwkont:ref:sumo-niles-pease-2001	Direct terminological match; the most explicit bearer/content distinction of any source.
xwkont:correspondence:proposition-content:003	YAMATO	Proposition (+ Content)	not applicable — informal prose category, no IRI scheme found for YAMATO's own vocabulary	2010 technical report (directly re-verified 2026-07-04)	xwkont:ref:yamato-mizoguchi-2010	Direct terminological match; the richest treatment of any of the three confirmed sources, embedded in YAMATO's own representation theory.

No BFO, UFO, GFO, TUpper, or GUM correspondence is recorded — see Source Definitions and Uncertainty.

Semantic Comparison Notes

Note ID	Dimension	Claim type	Note	Supporting references	Confidence
note-001	philosophical	editorial observation	All three confirmed sources converge on the same core distinction: a proposition/content is the abstract, representation-independent thing meant, sharply distinguished from any concrete representation of it. SUMO's own documentation states this most explicitly by naming both sides (Proposition vs. ContentBearingObject) and giving a worked multi-representation example (strings, sounds, icons); DOLCE frames the same idea more formally ("purely combinatorial... reified abstracts"); YAMATO embeds it directly into its own representation theory ("many ways to code the same content into different forms"). All three also file this concept as, or directly alongside, their own Abstract category (DOLCE: rdfs:subClassOf abstract; SUMO: subclass Proposition Abstract; YAMATO: propositions are explicitly non-physical/non-temporal per the source's own Physical/semi-abstract/abstract split already documented in abstract-concrete.md). This is the strongest, most consistent 3-source convergence of any 0.2.0-batch concept drafted with only 3 sources (contrast Situation/State of Affairs, situation-state-of-affairs.md, where even the sources that did have content diverged sharply in sense and formality).	xwkont:ref:dolce-lite-owl, xwkont:ref:sumo-niles-pease-2001, xwkont:ref:yamato-mizoguchi-2010	high
note-002	technical	editorial observation	BFO/IAO's own approach to information/content (information content entity, already the primary subject of the reviewed information-artifact.md) does not reify a representation-independent Proposition the way DOLCE/SUMO/YAMATO do — BFO/IAO ties content directly to a bearer relation (a generically dependent continuant borne by some concrete artifact) rather than treating the content itself as an independent abstract entity capable of existing across multiple representations. This is a genuine, structural non-equivalence, not a gap in this crosswalk's sourcing — BFO's own architecture (per abstract-concrete.md's note-001) already lacks an Abstract category at all, and Proposition's absence here is a direct consequence of that same, already-documented architectural choice.	xwkont:ref:bfo-2020, xwkont:ref:iao-owl	high
note-003	technical	editorial observation	Across the full 9-concept 0.2.0 batch, GUM has now contributed genuinely new (previously uncredited) content in exactly 4 concepts (Time, Space, Abstract vs. Concrete, Quantity/Amount of Matter — all among the first four drafted) and nothing at all in the remaining 5 (Situation/State of Affairs, Universal/Type, Mereology/Parthood/Aggregate, Boundary/Site, and this concept). This even split is worth recording as a summary finding for the batch as a whole, complementing the per-concept observations already made in abstract-concrete.md's uncertainty-004 and quantity-amount-of-matter.md's uncertainty-004 about GUM's uneven documentation coverage relative to the matrix.	(cross-cutting across this crosswalk and the other 8 0.2.0-batch concepts)	medium

Mapping Assertions or Candidate Relations

Mapping ID	Subject	Relation category	Object	predicate_id	mapping_justification	Status	Confidence	Rationale	Provenance
xwkont:mapping:proposition-content:001	DOLCE:Proposition	close-match	SUMO:Proposition	skos:closeMatch	semapv:ManualMappingCuration	candidate	high	Both are direct Abstract subtypes denoting representation-independent content, with near-identical framing (DOLCE: "purely combinatorial"; SUMO: "an abstraction that may have multiple representations"). The closest structural pairing in this crosswalk.	xwkont:ref:dolce-lite-owl, xwkont:ref:sumo-niles-pease-2001
xwkont:mapping:proposition-content:002	SUMO:Proposition	close-match	YAMATO:Proposition	skos:closeMatch	semapv:ManualMappingCuration	candidate	high	Both explicitly name and contrast the bearer/content distinction with near-identical worked examples (SUMO: "strings, sounds, icons"; YAMATO: "many ways to code the same content into different forms") — the strongest cross-source lexical and conceptual match of the three.	xwkont:ref:sumo-niles-pease-2001, xwkont:ref:yamato-mizoguchi-2010
xwkont:mapping:proposition-content:003	DOLCE:Proposition	close-match	YAMATO:Proposition	skos:closeMatch	semapv:ManualMappingCuration	candidate	high	Same core distinction between DOLCE's and YAMATO's Proposition, directly and confidently compared. YAMATO's own further subdivision (representation-primary/-secondary, designed/product proposition) has no counterpart in DOLCE's single undifferentiated proposition class — a confirmed structural fact about YAMATO's additional tier, not an open sourcing question about the core Proposition-to-Proposition match itself, which is directly and clearly evidenced.	xwkont:ref:dolce-lite-owl, xwkont:ref:yamato-mizoguchi-2010
xwkont:mapping:proposition-content:004	YAMATO:Designed proposition / Product proposition	unknown	(no counterpart in any other of the 8 sources)	none	semapv:ManualMappingCuration	candidate	low	Recorded explicitly as genuine YAMATO-only sub-categories, not silently dropped — no other source subdivides its Proposition-equivalent category this way.	xwkont:ref:yamato-mizoguchi-2010
xwkont:mapping:proposition-content:005	xwkont-core:Proposition (candidate)	unknown	BFO	none	semapv:ManualMappingCuration	candidate	low	No BFO correspondence identified; neither bfo-core.ttl nor the IAO extension module reifies a representation-independent Proposition — see note-002.	xwkont:ref:bfo-2020, xwkont:ref:iao-owl
xwkont:mapping:proposition-content:006	xwkont-core:Proposition (candidate)	unknown	UFO	none	semapv:ManualMappingCuration	candidate	low	No UFO correspondence identified; the paper's single "proposition" occurrence is an incidental bibliographic pointer to separate literature, not a UFO-internal class.	xwkont:ref:ufo-2021
xwkont:mapping:proposition-content:007	xwkont-core:Proposition (candidate)	unknown	GFO	none	semapv:ManualMappingCuration	candidate	low	No GFO correspondence identified; zero occurrences of "proposition" anywhere in modules/gfo-base.owl.	xwkont:ref:gfo
xwkont:mapping:proposition-content:008	xwkont-core:Proposition (candidate)	unknown	TUpper	none	semapv:ManualMappingCuration	candidate	low	No TUpper correspondence identified; zero occurrences of "proposition" in TUpper-Terms.html.	xwkont:ref:tupper-colore
xwkont:mapping:proposition-content:009	xwkont-core:Proposition (candidate)	unknown	GUM	none	semapv:ManualMappingCuration	candidate	low	No GUM correspondence identified; zero occurrences of "Proposition"/"Content" as defined GUM classes.	xwkont:ref:gum-owl

Uncertainty, Non-Equivalence, and Open Questions

Item ID	Type	Description	Impact	Follow-up
uncertainty-001	open-question	Where should xwkont-core:Proposition subclass from once added to data/ontology/core.ttl? All three confirmed sources file it under/alongside their own Abstract category, so this concept's placement is likely to follow directly from however abstract-concrete.md's own still-open placement question (uncertainty-001 there) resolves — this is the cleanest "downstream" placement dependency of any 0.2.0-batch concept.	Blocks final core.ttl placement; does not block continuing this crosswalk's research/review.	Decide at review time, after (or alongside) abstract-concrete.md's own placement decision, given the direct subtype relationship all three sources assert.
uncertainty-002	non-equivalence	BFO's/IAO's absence of a reified Proposition (note-002) is a direct architectural consequence of BFO's already-documented absence of any literal "Abstract" category (abstract-concrete.md's note-001) — not an independent gap requiring further sourcing.	None — this is a confirmed, well-explained structural absence.	None outstanding; recorded here and in note-002 for traceability.
uncertainty-003	open-question	Across the full 0.2.0 batch, GUM contributed new content in exactly 4 of 9 concepts (note-003). Whether this reflects a genuine difference in GUM's own ontological coverage (its clause/linguistic grounding naturally elaborates temporal/spatial/qualitative categories more than mereological/classificatory/propositional ones) or an artifact of this session's search strategy (case-sensitive PascalCase grepping, which could miss content named unexpectedly) is unresolved.	Affects confidence in "GUM has nothing for this concept" claims specifically, and by extension for situation-state-of-affairs.md, universal-type.md, mereology-parthood-aggregate.md, and boundary-site.md.	Consider a dedicated pass cross-checking each of those four crosswalks' GUM-absence findings against a case-insensitive, synonym-aware search of GUM-31.owl, given the genuine pattern noted in note-003, before treating any of them as fully settled.

Provenance and References

• xwkont:ref:bfo-2020 — Basic Formal Ontology (BFO) 2020 / ISO/IEC 21838-2:2021 — verified absence directly against bfo-core.ttl, 2026-07-04
• xwkont:ref:iao-owl — Information Artifact Ontology (IAO), BFO extension — verified absence directly, 2026-07-04
• xwkont:ref:dolce-lite-owl — DOLCE-Lite OWL translation — verified directly against DOLCE-Lite.owl, 2026-07-04
• xwkont:ref:sumo-niles-pease-2001 — Towards a Standard Upper Ontology (Niles & Pease, 2001) — verified directly against current SUMO Merge.kif, 2026-07-04
• xwkont:ref:ufo-2021 — UFO: Unified Foundational Ontology (Guizzardi et al., 2021) — verified absence (one incidental mention) directly (full-text re-search), 2026-07-04
• xwkont:ref:gfo — General Formal Ontology (GFO) — verified absence directly against modules/gfo-base.owl, 2026-07-04
• xwkont:ref:yamato-mizoguchi-2010 — YAMATO 2010 technical report (Mizoguchi) — verified directly against the extracted PDF, 2026-07-04
• xwkont:ref:tupper-colore — TUpper COLORE formalization (Grüninger) — verified absence directly against TUpper-Terms.html, 2026-07-04
• xwkont:ref:gum-owl — GUM 3.1 OWL (Bateman) — verified absence directly against GUM-31.owl, 2026-07-04

Review History

Review ID	Date	Outcome	Notes
—	2026-07-04	Not yet reviewed — draft	Ninth and final concept of the 0.2.0 batch (ADR-0018), following time.md through boundary-site.md. All 8 sources (plus BFO's IAO extension) checked directly against primary artifacts already cached from prior crosswalks' research. The only 0.2.0-batch concept where TODO.md's seed source count and source list both held up completely unchanged (DOLCE, SUMO, YAMATO). Found the strongest, most consistent 3-source convergence of the batch (note-001) and traced BFO's absence directly to its already-documented lack of an Abstract category (note-002). Recorded a batch-wide summary finding about GUM's uneven contribution pattern across all nine concepts (note-003), flagging it as an open question about search-strategy completeness rather than a settled conclusion. Pending maintainer review before advancing to reviewed; core.ttl placement (uncertainty-001) is expected to follow directly from abstract-concrete.md's own resolution.
xwkont:review:proposition-content:2026-07-05:01	2026-07-05	Passed — advanced draft → reviewed	Checked against docs/governance/contributing.md's Review Checklist: scope preserved; every xwkont:ref:* citation resolves; correspondence/mapping/note/uncertainty ID numbering sequential (correspondences 001-003, mappings 001-009, notes 001-003, uncertainty 001-003); all confidence values within the ADR-0013 vocabulary. Correction (2026-07-06, full-corpus audit): this entry originally claimed "mapping-003's medium-high value states its sourcing rationale" — false on inspection: the actual rationale described YAMATO's additional subdivision having no DOLCE counterpart, a confirmed structural fact, not a sourcing-change justification. Raised to high confidence in this pass — the core Proposition-to-Proposition match is directly and confidently evidenced; see docs/methodology/crosswalk-runbook.md's governing principle. External review's "PASS" assessment confirmed — no fixes were needed and none were fabricated to manufacture review activity. uncertainty-001 (core.ttl placement) is not resolved by this review and remains downstream of abstract-concrete.md's now-confirmed class-pair decision, as separate data/ontology/core.ttl work — this crosswalk's own content does not depend on that placement being settled first. With this advance, all 9 concepts of the 0.2.0 batch (including situation-state-of-affairs.md, reviewed earlier the same session) are now reviewed. Self-review, not independent third-party review.

Future Work

• ~~Resolve uncertainty-001~~ — done 2026-07-05: advanced draft → reviewed (xwkont:review:proposition-content:2026-07-05:01); core.ttl placement remains downstream of abstract-concrete.md's now-confirmed class-pair decision, as separately-tracked work.
• Consider a dedicated case-insensitive re-check of GUM-absence findings across the five concepts that reported none (uncertainty-003), given the pattern noted in note-003.
• With all nine 0.2.0-batch concepts now drafted, the next step is a maintainer review pass across the batch as a whole — see TODO.md's batch-level tracking for the consolidated status.