W3C - World Wide Web Consortium
Previous Table of Contents Table of Contents Next

OWL
OWL Description Logic (DL)


  • owl:Class, owl:Thing, owl:ObjectProperty, owl:DatatypePropery are strictly separated
    • i.e., a class cannot be an individual of another class
  • owl:Class, owl:Thing, owl:ObjectProperty, and
  • owl:DatatypePropery are strictly separated
    • i.e., a class cannot be an individual of another class
  • No mixture of owl:Class and rdfs:Class in definitions
    • essentially: use OWL concepts only!
  • No statements on RDFS resources
  • No characterization of datatype properties possible
  • No cardinality constraint on transitive properties
  • Some restrictions on annotations
  • Goal: maximal subset of OWL Full against which current research can assure that a decidable reasoning procedure is realizable
  • Goal: maximal subset of OWL Full against which current
  • research can assure that a decidable reasoning procedure
  • is realizable

Ivan Herman, W3C 110 (144)