Tutorial on Semantic Web Technologies

• Contents
• Previous
• Next

OWL Description Logic (DL)

• 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
• owl:Class, owl:Thing, owl:ObjectProperty, owl:DatatypePropery are strictly separated
  • i.e., a class cannot be an individual of another class
  • object properties’ values must be an owl:Thing
    • except for rdf:type
• owl:Class, owl:Thing, owl:ObjectProperty, and
• owl:DatatypePropery are strictly separated
  • i.e., a class cannot be an individual of another class
  • object properties’ values must usually be an owl:Thing
    • except for rdf:type, rdfs:subClassOf, …
• 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

OWL