Lecture 5 - Foundations of Semantic Web Technologies

More documents

Recommendations

Info

Simple Rules in OWL 2: Examples • Property chains provide further rule-like axioms: hasUncle owl:PropertyChainAxiom ( hasParent hasBrother ). correspond to hasParent(x,y) ∧ hasBrother(y,z) → hasUncle(x,z) → In all examples, mapping can also be inverted (expressing rules in OWL 2) Markus Krötzsch, Sebastian Rudolph: Semantic Web Modeling Languages, ESSLLI 2009, Bordeaux semantic-web-book.org 18
More Rules (1) What about the following? dislikes(x,z) ∧ Dish(y) ∧ contains(y,z) → dislikes(x,y) • Rule head with two variables → not representable by subclass axiom • Rule body contains class expression → not representable by subproperty axiom Yet, this rule can be encoded using OWL 2! Markus Krötzsch, Sebastian Rudolph: Semantic Web Modeling Languages, ESSLLI 2009, Bordeaux semantic-web-book.org 19
Page 1 and 2: Semantic Web Modeling Languages Lec
Page 3 and 4: What is a Rule? • Logical Rules (
Page 5 and 6: Which Rule Language? • Logical Ru
Page 7 and 8: Semantics of Datalog? • Semantics
Page 9 and 10: Semantics of SWRL Combined semantic
Page 11 and 12: Example: SWRL knowledge base OWL DL
Page 13 and 14: Undecidability of SWRL SWRL is unde
Page 15 and 16: Description Logic Rules Observation
Page 17: Simple Rules in OWL 2: Examples •
Page 21 and 22: More Rules (3) dislikes(x,z) ∧ Di
Page 23 and 24: Limits of Description Logic Rules N
Page 25 and 26: Example (1) Vegetarian(x) ∧ Fishp
Page 27 and 28: Transforming DL Rules to OWL 2 The
Page 29 and 30: DL-safe Rules Observation: Datalog
Page 31 and 32: Enforcing DL-Safety • Example: or
Page 33 and 34: A Combined Example OWL 2 + Descript
Page 35 and 36: Summary: Rules • SWRL (“OWL+ da
Page 37 and 38: Outlook: Semantic Web Research This
Page 39: Further Reading • P. Hitzler, S.

Lecture 5 - Foundations of Semantic Web Technologies

Create successful ePaper yourself

Delete template?

Save as template?