First page
Back
Continue
Last page
Graphics
OWL Description Logic
(DL)
-
A number of restrictions are defined
-
- Classes, individuals, properties 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 must be individuals
-
- i.e., they are used to create relationships between
individuals
- no characterization of datatype properties (functional,
etc)
- …
-
But: well known inference algorithms exist!