Advertisement

Ontologies and Rules

  • Pascal HitzlerEmail author
  • Bijan Parsia
Chapter
Part of the International Handbooks on Information Systems book series (INFOSYS)

Summary

Ontologies and rules are two established paradigms in knowledge modelling, and play an important role for the Semantic Web. In this chapter, we present an introduction to common approaches for combining OWL ontologies and rules. In particular, we cover the Semantic Web Rules Language SWRL and Description Logic Programs DLP, and give pointers to the literature.

Keywords

Logic Program Logic Programming Description Logic Integrity Constraint Concept Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgement

The first named author acknowledges support by the Deutsche Forschungsgemeinschaft under the ReaSem project.

References

  1. 1.
    Patrick Blackburn, Johan F. A. K. van Benthem, and Frank Wolter. Handbook of Modal Logic, volume 3 (Studies in Logic and Practical Reasoning). Elsevier Science, New York, 2006.Google Scholar
  2. 2.
    Ronald J. Brachman, Deborah L. McGuiness, Peter F. Patel-Schneider, and Lori A. Resnick. Living with CLASSIC: when and how to use a KL-ONE-like language. In John Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, San Mateo, US, 1990.Google Scholar
  3. 3.
    Bruce Buchanan and Edward Shortliffe. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, MA, 1984.Google Scholar
  4. 4.
    Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January, 6–12 2007. AAAI, New York.Google Scholar
  5. 5.
    Jos de Bruijn, David Pearce, Axel Polleres, and Agustín Valverde. Quantified equilibrium logic and hybrid rules. In Marchiori et al., editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 58–72.Google Scholar
  6. 6.
    Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems, 10(3):227–252, 1998.CrossRefzbMATHGoogle Scholar
  7. 7.
    Wlodzimierz Drabent and Jan Maluszynski. Well-founded semantics for hybrid rules. In Marchiori et al., editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 1–15.Google Scholar
  8. 8.
    Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. dlvhex: A prover for semantic-web reasoning under the answer-set semantics. In 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China. IEEE Computer Society, Los Alamitos, CA, 2006, pages 1073–1074.Google Scholar
  9. 9.
    Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. Effective integration of declarative rules with external evaluations for semantic-web reasoning. In York Sure and John Domingue, editors, The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11–14, 2006, Proceedings, volume 4011 of Lecture Notes in Computer Science. Springer, Berlin, 2006, pages 273–287.Google Scholar
  10. 10.
    Francis Gasse, Ulrike Sattler, and Volker Haarslev. Rewriting rules into SROIQ axioms. In Proc. 21st Int. Workshop on Description Logics (DL-08), Dresden, Germany, 2008.Google Scholar
  11. 11.
    Benjamin Grosof, Ian Horroks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logics. In Proc. of WWW 2003, Budapest, Hungary, May 2003. ACM, New York, 2003, pages 48–57.Google Scholar
  12. 12.
    Stijn Heymans, Davy Van Nieuwenborgh, and Dirk Vermeir. Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In Proceedings ESWC2005, volume 3532 of Lecture Notes in Computer Science. Springer, Berlin, 2005, pages 392–407.Google Scholar
  13. 13.
    Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, New York, 2004, pages 723–731.Google Scholar
  14. 14.
    Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for very expressive description logics. Logic Journal of the IGPL, 8(3):239–263, 2000.MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Data complexity of reasoning in very expressive description logics. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), 2005, pages 466–471.Google Scholar
  16. 16.
    Ullrich Hustadt, Renate A. Schmidt, and Lilia Georgieva. A survey of decidable first-order fragments and description logics. Journal of Relational Methods in Computer Science, 1:251–276, 2004. Invited overview paper.Google Scholar
  17. 17.
    Matthias Knorr, Jose Alferes, and Pascal Hitzler. Towards tractable local closed world reasoning for the semantic web. In J. Neves, M. F. Santos, and J. Machado, editors, Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3–7, 2007, Proceedings, volume 4874 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 3–14.Google Scholar
  18. 18.
    Matthias Knorr, Jose Alferes, and Pascal Hitzler. A coherent well-founded model for Hybrid MKNF knowledge bases. In Proceedings of the 18th European Conference on Artificial Intelligence, ECAI-08, Patras, Greece, 2008. To appear.Google Scholar
  19. 19.
    Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, and Michael Sintek. How to reason with OWL in a logic programming system. In Proc. 2nd Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), Athens, Georgia, USA. Springer, Berlin, 2006.Google Scholar
  20. 20.
    Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Complexity of Horn description logics. In Proceedings of the Twenty-Second Conference on Artificial Intelligence, AAAI-07, Vancouver, British Columbia, Canada, July 2007, pages 452–457.Google Scholar
  21. 21.
    Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Description logic rules. In Proceedings of the 18th European Conference on Artificial Intelligence, ECAI-08, Patras, Greece, 2008. To appear.Google Scholar
  22. 22.
    Alon Y. Levy and Marie-Christine Rousset. CARIN: A representation language combining Horn rules and description logics. In European Conference on Artificial Intelligence, 1996, pages 323–327.Google Scholar
  23. 23.
    Alon Y. Levy and Marie-Christine Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104:68–78, 1998.MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    John W. Lloyd. Foundations of logic programming (second, extended edition). In Springer Series in Symbolic Computation. Springer, New York, 1987.Google Scholar
  25. 25.
    Thomas Lukasiewicz. A novel combination of answer set programming with description logics for the semantic web. In Enrico Franconi, Michael Kifer, and Wolfgang May, editors, The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3–7, 2007, Proceedings, volume 4519 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 384–398.Google Scholar
  26. 26.
    Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie, editors. Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007.Google Scholar
  27. 27.
    Tobias Matzner and Pascal Hitzler. Any-world access to OWL from Prolog. In J. Hertzberg, M. Beetz, and R. Englert, editors, KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrck, Germany, September 2007, Proceedings, volume 4667 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 84–98.Google Scholar
  28. 28.
    Jing Mei, Zuoquan Lin, and Harold Boley. LC: An integration of description logic and general rules. In Marchiori et al., editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 163–177.Google Scholar
  29. 29.
    Boris Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Germany, 2006.Google Scholar
  30. 30.
    Boris Motik, Ian Horrocks, Riccardo Rosati, and Ulrike Sattler. Can OWL and logic programming live together happily ever after? In Isabel F. Cruz, Stefan Decker, Dean Allemang, Chris Preist, Daniel Schwabe, Peter Mika, Michael Uschold, and Lora Aroyo, editors, International Semantic Web Conference, volume 4273 of Lecture Notes in Computer Science. Springer, Berlin, 2006, pages 501–514.Google Scholar
  31. 31.
    Boris Motik and Riccardo Rosati. A faithful integration of description logics with logic programming. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI, New York, 2007, pages 477–482.Google Scholar
  32. 32.
    Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. In International Semantic Web Conference, 2004, pages 549–563.Google Scholar
  33. 33.
    Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. Journal of Web Semantics, 3(1):41–60, 2005.CrossRefGoogle Scholar
  34. 34.
    Boris Motik, Rob Shearer, and Ian Horrocks. Optimized Reasoning in Description Logics using Hypertableaux. In Proc. of the 21st Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, Bremen, Germany, July 17–20. Springer, Berlin, 2007, pages 67–83.Google Scholar
  35. 35.
    Riccardo Rosati. Tight integration of description logics and disjunctive datalog. In Proceedings KR2006. AAAI, New York, 2006, pages 68–78.Google Scholar
  36. 36.
    Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. All elephants are bigger than all mice. In Proc. 21st Int. Workshop on Description Logics (DL-08), Dresden, Germany, 2008.Google Scholar
  37. 37.
    Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, and Denny Vrandečić. Efficient OWL reasoning with logic programs – Evaluations. In Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 370–373.Google Scholar
  38. 38.
    Roman Schindlauer. Answer-Set Programming for the Semantic Web. PhD thesis, Vienna University of Technology, Austria, 2006.Google Scholar
  39. 39.
    Julian Seidenberg and Alan L. Rector. Representing transitive propagation in OWL. In David W. Embley, Antoni Olivé, and Sudha Ram, editors, ER, volume 4215 of Lecture Notes in Computer Science. Springer, Berlin, 2006, pages 255–266.Google Scholar
  40. 40.
    York Sure, Stephan Bloehdorn, Peter Haase, Jens Hartmann, and Daniel Oberle. The SWRC ontology – Semantic Web for Research Communities. In Carlos Bento, Amilcar Cardoso, and Gael Dias, editors, Proceedings of the 12th Portuguese Conference on Artificial Intelligence – Progress in Artificial Intelligence (EPIA 2005), volume 3803 of LNCS, Covilha, Portugal. Springer, Berlin, 2005, pages 218–231.Google Scholar
  41. 41.
    Raphael Volz. Web Ontology Reasoning With Logic Databases. PhD thesis, Universität Fridericiana zu Karlsruhe (TH), Germany, 2004.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  1. 1.AIFBUniversität Karlsruhe (TH)KarlsruheGermany
  2. 2.University of ManchesterManchesterUK

Personalised recommendations