OWL Description Logic (DL)

• A number of restrictions are defined

• • ObjectProperty, DatatypeProperty, Class, Thing are strictly separated: a class cannot be an individual of another class
  • strict separation of the user’s and the reserved (RDFS, OWL) terms
  • • no statements on RDFS and OWL resources, for example
  • the values of user’s object properties must be an owl:Thing
  • • i.e., they are used to create relationships between individuals
  • no characterization of datatype properties
  • …

• But: well known inference algorithms exist!