OWL Description Logic (DL)
The notion of “Class” and “Individual” are strictly separated
i.e, classes of classes are
not
allowed
No mixture of
owl:Class
and
rdfs:Class
in definitions
essentially: use OWL concepts only!
No statements on RDFS resources are allowed
No cardinality constraint on transitive properties
etc
Goal: maximal subset of OWL Full against which current research can assure that a decidable reasoning procedure is realizable
Ivan Herman
, W3C Head of Offices
© 1994-2004, W3C (MIT,ERCIM,Keio)
Edinburgh, 7 April, 2004
34 (54)