Evaluating Ontological Decisions with OntoClean.¶
Guarino, N., & Welty, C. (2002). Evaluating Ontological Decisions with OntoClean. Communications of the ACM, 45(2), 61-65.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Criteria of Individuation
- In ontology engineering the three sub-criteria are made first-class simultaneously: OntoClean tags classes with whether they carry a unity criterion (integral whole, plural whole, or none), an identity criterion (what fixes sameness), and a rigidity / identity-providing meta-property (what an instance cannot survive losing) — and the methodology's central result is that hierarchies smuggle in incompatible individuation assumptions that cause inferential errors when unmasked.
This sourceIntroduces OntoClean's unity (+U/−U), identity (+I/−I), and rigidity (+R/−R) meta-properties and the constraints whose violation signals hidden, incompatible individuation assumptions in a hierarchy.
- In ontology engineering the three sub-criteria are made first-class simultaneously: OntoClean tags classes with whether they carry a unity criterion (integral whole, plural whole, or none), an identity criterion (what fixes sameness), and a rigidity / identity-providing meta-property (what an instance cannot survive losing) — and the methodology's central result is that hierarchies smuggle in incompatible individuation assumptions that cause inferential errors when unmasked.
- Identity-Providing Kind
- In conceptual modeling and ontology engineering, the distinction is operationalized as a meta-property that marks the category supplying persistence criteria and contrasts it with those that do not, and large ontology projects use it to detect category-design errors at scale.
This sourceOperationalizes identity and rigidity (+I, +R) meta-properties to detect category-design errors at scale — modeling a role as the identity-bearing kind is a rigidity violation.
- In conceptual modeling and ontology engineering, the distinction is operationalized as a meta-property that marks the category supplying persistence criteria and contrasts it with those that do not, and large ontology projects use it to detect category-design errors at scale.
- Identity Test
- In ontology engineering it is made first-class: classes are tagged with whether they carry an identity criterion and what it is, so that hierarchies do not smuggle in incompatible identity assumptions.
This sourceMakes identity criteria first-class class tags so hierarchies do not smuggle in incompatible identity assumptions — the identity test as an ontology-engineering artifact.
- In ontology engineering it is made first-class: classes are tagged with whether they carry an identity criterion and what it is, so that hierarchies do not smuggle in incompatible identity assumptions.
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:de7dde70817b · see in the full table