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

  1. 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.

  2. 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.

  3. 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