Created on March 11, 2013, 4:23 p.m. by Hevok & updated by Hevok on May 2, 2013, 5:32 p.m.
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