categorizes
IRI: https://spec.industrialontologies.org/ontology/construct/categorizes
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
SubProperty Of: classifies
Domain: classifier
Range: classifier
Inverse Of: categorized by
Definition
relation between classifiers in which a higher-order classifier classifies a lower-order classifier and designates a set that has as members only sets designated by lower-order classifiers that it organizes
Semi-Formal Definition:
c1 ‘categorizes’ c2 if and only if c1 ‘classifies’ c2 and there exists some s1 and some s2 such that c1 ‘designates’ s1, c2 ‘designates’ s2, and s2 is a set member of s1
Explanatory Notes
-
The terms lower-order and higher-order are relative. In this pattern, a lower-order classifier is used to classify entities of a particular kind, whereas a higher-order classifier indicates a general basis on which the lower-order classifier classifies
-
The definition of categorizes 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
- classifiers such as SUV, hatchback, and sedan are categorized under a higher-order classifier body style; classifiers like internal combustion, electric, and hybrid vehicles are categorized by fuel type; classifiers such as small, medium, and large are categorized by size; specific plasmid classifiers (e.g., pSEVA191) may be generalized by a classifier such as Ap, which is categorized by antibiotic resistance
Formal Axioms
First-Order Logic Definition
categorizes(c1, c2) ↔ (classifies(c1, c2) ∧ ∃s1, s2 (designates(c1, s1) ∧ designates(c2, s2) ∧ setMemberOf(s2, s1))))
First-Order Logic Axioms
categorizes(c1, c2) ∧ generalizes(c2, c3) → categorizes(c1, c3)
Semi-Formal Natural Language Axioms
if c1 ‘categorizes’ c2 and c2 ‘generalizes’ c3, then c1 also ‘categorizes’ c3
Description Logic
constr:categorizes ⊑ constr:classifies
domain: constr:Classifier
range: constr:Classifier
inverse: constr:categorizedBy
SubPropertyOf: constr:classifies
domain: constr:Classifier
range: constr:Classifier
inverse: constr:categorizedBy