Tutorial at ESWC 2013 in Montpellier, France



Tutorial Speakers

David Carral (Kno.e.sis Center, Wright State University, U.S.A.)
Matthias Knorr (CENTRIA, Universidade Nova de Lisboa, Portugal)
Adila Alfa Krisnadhi (Kno.e.sis Center, Wright State University, U.S.A.)



Abstract

Description Logics (DL)-the logics underpinning the Web Ontology Language OWL-and rules-the formalism underlying the Semantic Web Rule Language SWRL and the Rule Interchange Format RIF-are currently the most prominent paradigms used for modeling knowledge for the Semantic Web. While both of these approaches are based on classical logic, their paradigms differ significantly, so that naive combinations result in undesirable properties such as undecidability. Recent work has shown that many rules can in fact be expressed within the DL paradigm, and therefore within the OWL language.

In this tutorial, we formally identify the set of rules expressible in OWL and show how to translate these into equivalent sets of OWL axioms. We also discuss different extensions of OWL that allow us to express arbitrary Datalog rules and even non-monotonic rules in DL syntax. The latter enable us to include some non-classical reasoning features, such as defaults and exceptions.



Main Objectives

  • Overview of the logic standards underlying OWL and RIF, with a focus on their differences.
  • Show the set of rules that are expressible within OWL and its profile languages.
  • Discuss nominal schemas as a simple syntactic DL extension to generalize coverage to arbitrary Datalog.
  • Recall non-monotonic rules and non-monotonic extensions of DLs.
  • Introduce a further DL extension covering non-monotonic rules.



Material

current version (PDF)



References

  • Description logic programs: combining logic programs with description logic. Benjamin Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker, WWW 2003, 48-57.
  • Description logic rules. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler, ECAI 2008, 80-84.
  • ELP: tractable rules for OWL 2. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler, ISWC 2008, 649-664.
  • Cheap boolean role constructors for description logics. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler, JELIA 2008, 362-374.
  • Description logic rules. Markus Krötzsch, Studies on the Semantic Web, Vol. 08, 2010.
  • A better uncle for OWL: nominal schemas for integrating rules and ontologies. Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, and Pascal Hitzler, WWW 2011, 645-654.
  • Extending description logic rules. David Carral Martínez and Pascal Hitzler, ESWC 2012, 345-359.
  • A tableau algorithm for description logics with nominal schemas. Adila Krisnadhi and Pascal Hitzler, RR2012, 234-237.
  • A resolution procedure for description logics with nominal schemas. Cong Wang and Pascal Hitzler, JIST 2012, 1-16.
  • Description logics of minimal knowledge and negation as failure. Francesco M. Donini, Daniele Nardi, and Riccardo Rosati, ACM Transactions on Computational Logic, 3(2), 2002, 227-252.
  • Reconciling Description Logics and Rules. Boris Motik and Riccardo Rosati, Journal of the ACM, 57(5), 2010, 1-62.
  • Local closed world reasoning with description logics under the well-founded semantics. Matthias Knorr, José J. Alferes, and Pascal Hitzler, Artificial Intelligence, 175(9-10), 2011, 1528-1544.
  • Reconciling OWL and non-monotonic rules for the Semantic Web. Matthias Knorr, Pascal Hitzler, and Frederick Maier, ECAI 2012, 474-479.