categorized by

IRI: https://spec.industrialontologies.org/ontology/construct/categorizedBy

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

SubProperty Of: classified by

Domain: classifier

Range: classifier

Inverse Of: categorizes

Definition

relation between a lower-order classifier by a higher-order classifier such that the latter classifier categorizes the former

Semi-Formal Definition:

c1 is ‘categorized by’ c2 iff c2 categorizes c1

Explanatory Notes

see the explanation under categorizes

Formal Axioms

First-Order Logic Definition

categorizedBy(c1, c2) ↔ categorizes(c2, c1)

Description Logic

constr:categorizedBy ⊑ constr:classifiedBy

domain: constr:Classifier

range: constr:Classifier

inverse: constr:categorizes

SubPropertyOf: constr:classifiedBy

domain: constr:Classifier

range: constr:Classifier

inverse: constr:categorizes