Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Semantics of SWRL

OWL DL (Description Logic) and Datalog use the same interpretations:

  • OWL individuals are Datalog constants
  • OWL classes are unary Datalog predicates
  • OWL roles are binary Datalog predicates

→ An interpretation \( \mathcal{I} \) can simultaneously be a model for an OWL ontology and a set of Datalog rules

→ Inferences on OWL-Datalog combination possible


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.