Lecture 5 - Foundations of Semantic Web Technologies

More documents

Recommendations

Info

Which Rule Language? Rule languages are hardly compatible with each other → important to chose adequate rule language Possible criteria: – Clear specification of syntax and semantics? – Support by software tools? – Which expressive features are needed? – Complexity of implementation? Performance? – Compatibility with other formats, e.g. OWL? – Declarative (describing) or operational (programming)? – … Markus Krötzsch, Sebastian Rudolph: Semantic Web Modeling Languages, ESSLLI 2009, Bordeaux semantic-web-book.org 4
Which Rule Language? • Logical Rules (predicate logic implications) – Clearly defined, extensively researched, well understood – Very well compatible with OWL and RDF – Not decidable if unrestricted • Procedural Rules (e.g. production rules) – Many independent approaches, vague definition – Used like programming languages, relation to RDF and OWL not clear – Efficient processing possible • Logic Programming (e.g. Prolog, F-Logic) – Clearly defined, but many independent approaches – Partly compatible with OWL and RDF – Decidability/complexity depends very much on the chosen approach → In this lecture: predicate logic rules (which are also the basis for logic programming) Markus Krötzsch, Sebastian Rudolph: Semantic Web Modeling Languages, ESSLLI 2009, Bordeaux semantic-web-book.org 5
Page 1 and 2: Semantic Web Modeling Languages Lec
Page 3: What is a Rule? • Logical Rules (
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 and 18: Simple Rules in OWL 2: Examples •
Page 19 and 20: More Rules (1) What about the follo
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?