A Formal Ontology of Properties.¶
Guarino, N., & Welty†, C. (2000). A Formal Ontology of Properties. Knowledge Engineering and Knowledge Management (EKAW 2000).
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Aspectual Individual
- In software and conceptual modeling, interface types and role classes let the same underlying entity be addressed as a different bearer in different contexts: an object may participate as a reviewer in one subsystem and as a customer in another, the aspect-bound bearer carrying the responsibilities of the role.
This sourceFormal treatment underlying DOLCE/OntoClean of roles as anti-rigid, dependent properties — the same entity addressed as different role-bearers in different contexts (e.g., reviewer versus customer).
- In software and conceptual modeling, interface types and role classes let the same underlying entity be addressed as a different bearer in different contexts: an object may participate as a reviewer in one subsystem and as a customer in another, the aspect-bound bearer carrying the responsibilities of the role.
- Unity Test
- In ontology engineering it is made first-class: classes are tagged with whether they admit integral wholes such as organisms and artifacts, plural wholes such as orchestras and fleets, or no unity at all, and the methodology shows that hierarchies smuggle in hidden unity assumptions that cause inferential errors when unmasked.
This sourceIntroduces the OntoClean unity criterion distinguishing integral wholes, plural wholes, and non-wholes, and shows hierarchies smuggle hidden unity assumptions causing inferential error.
Supported in partVerified against the publisher's abstract
The abstract backs only the frame of this claim — unity as a meta-property constraining subsumption so taxonomies stop misleading — not the three-way whole/no-whole tagging or the inferential-error finding.
“This formal ontology is based on some meta-properties built around the fundamental philosophical notions of identity, unity, essence, and dependence.”
- In ontology engineering it is made first-class: classes are tagged with whether they admit integral wholes such as organisms and artifacts, plural wholes such as orchestras and fleets, or no unity at all, and the methodology shows that hierarchies smuggle in hidden unity assumptions that cause inferential errors when unmasked.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 2 citations: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:7a7bb323250d · see in the full table