classifies
IRI: https://spec.industrialontologies.org/ontology/construct/classifies
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
SubProperty Of: denotes
Domain: information content entity
Range: bfo:entity
Inverse Of: classified by
Definition
relation that holds between an information content entity x and an entity y when the information content entity designates a set whose members are instances of a particular type and y is a member of that set
Explanatory Notes
-
Any two entities classified by the same classifier are instances of a single, uniquely determined class; while the classifier classifies multiple entities, it designates one class (through a set instance) that fixes their common type.
-
The set designated by a classifier corresponds to a class means that every instance of the class is a member of that set. In this sense, the set is treated as a punned individual of the class, sharing the same IRI while remaining semantically distinct.
-
The definition of classifies uses ‘Set’ and related constructs which are not avalable in the current release. These constructs will be made available in the upcoming releasesAlthough set and a ‘set member of’ constructs are not explicitly available in the current release, standard set-theoretic semantics are assumed; in particular, setMemberOf(x, s) is to be understood as x∈s.
Examples
- UNSPSC code 44121706 classifies a wooden pencil
Formal Axioms
First-Order Logic Axioms
LA1: classifies(c,x) → ∃s (Set(s) ∧ designates(c,s) ∧ setMemberOf(x, s))
LA2: classifies(c,x) ∧ designates(c,s) → ∃C(Class(C) ∧ instanceOf(x,C) ∧ sameIRI(s,C) ∧ ∀y((setMemberOf(y,s) → instanceOf(y,C)) ∧ (setMemberOf(y,s) → classifies(c,y))))
Semi-Formal Natural Language Axioms
LA1: if c ‘classifies’ x, then there exists a set s such that c ‘designates’ s and x ‘is a member of’ s
LA2: if a classifier c classifies an entity x and designates a set s, then there exists a class C such that x is an instance of C, s and C share the same IRI, and, for every entity y, if y is a member of s then y is an instance of C and if y is a set member of s then c classifies y
Description Logic
constr:classifies ⊑ constr:denotes
domain: constr:InformationContentEntity
range: bfo:entity
inverse: constr:classifiedBy
SubPropertyOf: constr:denotes
domain: constr:InformationContentEntity
range: bfo:entity
inverse: constr:classifiedBy