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.
- 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¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:7a7bb323250d · see in the full table