OWL 1

OWL1 DL is based on the Description Logic SHOIN(D).

• S Transitivity of Properties

• H Subproperty Relationships

• O Nominals / Closed Classes

• I Inverse Properties

• N Number Restrictions

• D Datatypes