specializes

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

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

Type: Object Property

SubProperty Of: denoted by

Domain: classifier

Range: classifier

Inverse Of: generalizes

Definition

relation between two classifiers such that everything classified by the former is also classified by the latter

Semi-Formal Definition:

c1 is ‘specializes’ c2 iff c2 generalizes c1

Explanatory Notes

See the expanded formalization and explanation under generalizes

Formal Axioms

First-Order Logic Definition

specializes(c1, c2) ↔ generalizes(c2, c1)

Description Logic

constr:specializes ⊑ constr:denotedBy

domain: constr:Classifier

range: constr:Classifier

inverse: constr:generalizes

Transitive

SubPropertyOf: constr:denotedBy

domain: constr:Classifier

range: constr:Classifier

inverse: constr:generalizes

Transitive