created on March 11, 2013, 4:23 p.m. by Hevok & updated on March 11, 2013, 4:24 p.m. by Hevok
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
Comment on This Data Unit