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

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

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