Skip to main content
SpringerLink
Log in

Reasoning with Rules and Ontologies

  • Chapter
Reasoning Web (Reasoning Web 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4126))

Included in the following conference series:

Abstract

For realizing the Semantic Web vision, extensive work is underway for getting the layers of its conceived architecture ready. Given that the Ontology Layer has reached a certain level of maturity with W3C recommendations such as RDF and the OWL Web Ontology Language, current interest focuses on the Rules Layer and its integration with the Ontology Layer. Several proposals have been made for solving this problem, which does not have a straightforward solution due to various obstacles. One of them is the fact that evaluation principles like the closed-world assumption, which is common in rule languages, are usually not adopted in ontologies. Furthermore, naively adding rules to ontologies raises undecidability issues. In this paper, after giving a brief overview about the current state of the Semantic-Web stack and its components, we will discuss nonmonotonic logic programs under the answer-set semantics as a possible formalism of choice for realizing the Rules Layer. We will briefly discuss open issues in combining rules and ontologies, and survey some existing proposals to facilitate reasoning with rules and ontologies. We will then focus on description-logic programs (or dl-programs, for short), which realize a transparent integration of rules and ontologies supported by existing reasoning engines, based on the answer-set semantics. We will further discuss a generalization of dl-programs, viz.hex-programs, which offer access to different ontologies as well as higher-order language constructs.

This research has been partially supported by the European Commission within the FP6 project REWERSE (IST 506779, http://rewerse.net), by the Austrian Science Fund (FWF) project P17212-N04, and by the CICyT of Spain project TIC-2003-9001-C02.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 63.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Analyti, A., Antoniou, G., Damásio, C.V., Wagner, G.: Stable Model Theory for Extended RDF Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 21–36. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Angele, J., Boley, H., de Bruijn, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web Rule Language (WRL), W3C Member Submission (September 2005), http://www.w3.org/Submission/WRL/

  3. Antoniou, G.: Nonmonotonic Rule Systems on Top of Ontology Layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 394–398. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Antoniou, G., Damásio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies: A survey. Technical Report IST506779/Linköping/I3-D3/D/PU/a1, Linköping University, IST-2004-506779 REWERSE Deliverable I3-D3 (February 2005), http://rewerse.net/publications/

  5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  6. Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  7. Berners-Lee, T.: Web for Real People, Keynote Speech at the 14th World Wide Web Conference (WWW 2005) (April 2005), slides available at: http://www.w3.org/

  8. Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE Transactions on Knowledge and Data Engineering 12(5), 845–860 (2000)

    Article  Google Scholar 

  9. Cadoli, M., Lenzerini, M.: The Complexity of Propositional Closed World Reasoning and Circumscription. Journal of Computer and System Sciences 43, 165–211 (1994)

    MathSciNet  Google Scholar 

  10. Calimeri, F., Ianni, G., Ielpa, G., Pietramala, A., Santoro, M.C.: A System with Template Answer Set Programs. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 693–697. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Dean, M., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference. W3C Recommendation (February 2004)

    Google Scholar 

  12. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: \({\cal AL}\)-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems (JIIS) 10(3), 227–252 (1998)

    Article  Google Scholar 

  13. The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE 2005) contest, http://www.comp.hkbu.edu.hk/~eee05/contest/

  14. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: Proc. 19th International Joint Conference on Artificial Intelligence IJCAI 2005. Morgan Kaufmann, San Francisco (2005)

    Google Scholar 

  15. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Nonmonotonic Description Logic Programs: Implementation and Experiments. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol. 3452, pp. 511–527. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Towards Efficient Evaluation of HEX Programs. In: Dix, J., Hunter, A. (eds.) Proc. Eleventh International Workshop on Nonmonotonic Reasoning (NMR 2006), Answer Set Programming Track, pp. 40–46 (2006)

    Google Scholar 

  18. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pp. 141–151 (2004)

    Google Scholar 

  19. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-Founded Semantics for Description Logic Programs in the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81–97. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200–212. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. The Friend of a Friend (FOAF) Project, http://www.foaf-project.org/

  22. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)

    Article  Google Scholar 

  23. Gelfond, M., Przymusinska, H., Przymusinski, T.C.: The Extended Closed World Assumption and its Relationship to Parallel Circumscription. In: Proc. Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS 1986), pp. 133–139 (1986)

    Google Scholar 

  24. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proc. Twelfth International World Wide Web Conference WWW 2003, pp. 48–57 (2003)

    Google Scholar 

  25. Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition 5, 199–220 (1993)

    Article  Google Scholar 

  26. Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  27. Hayes, P.: RDF semantics, http://www.w3.org/TR/rdf-mt/

  28. Heflin, J., Munoz-Avila, H.: LCW-Based Agent Planning for the Semantic Web. In: Proc. AAAI Workshop on Ontologies and the Semantic Web, pp. 63–70 (1998)

    Google Scholar 

  29. Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 392–407. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  30. Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Preferential Reasoning on a Web of Trust. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 368–382. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  31. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission (May 2004), http://www.w3.org/Submission/SWRL/

  32. Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3), 239–264 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  33. ICONS homepage, since (2001), http://www.icons.rodan.pl/

  34. Janhunen, T., Niemelä, I., Seipel, D., Simons, P., You, J.-H.: Unfolding Partiality and Disjunctions in Stable Model Semantics. ACM Transactions on Computational Logic 7(1), 1–37 (2006)

    Article  MathSciNet  Google Scholar 

  35. Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber, W., Fink, M., Greco, G., Ianni, G., Kałka, E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: Proc. 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005), pp. 915–917. ACM Press, New York (2005)

    Chapter  Google Scholar 

  36. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic (to appear, 2005), Available at: http://www.arxiv.org/ps/cs.AI/0211004

  37. Levy, A.Y., Rousset, M.-C.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence 104(1–2), 165–209 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  38. Lierler, Y.: Disjunctive Answer Set Programming via Satisfiability. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 447–451. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  39. Lifschitz, V.: Answer Set Planning. In: Proc. 16th International Conference on Logic Programming (ICLP 1999), pp. 23–37. MIT Press, Cambridge (1999)

    Google Scholar 

  40. Lifschitz, V., Turner, H.: Splitting a Logic Program. In: Proc. Eleventh International Conference on Logic Programming (ICLP 1994), pp. 23–38. MIT Press, Cambridge (1994)

    Google Scholar 

  41. Lukasiewicz, T.: Stratified Probabilistic Description Logic Programs. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 87–97. Springer, Heidelberg (2005)

    Google Scholar 

  42. Marek, W., Truszczyński, M.: Stable Logic Programming - An Alternative Logic Programming Paradigm. In: Apt, K., Marek, W., Truszczyński, M. (eds.) The Logic Programming Paradigm, pp. 375–398. Springer, Heidelberg (1999)

    Google Scholar 

  43. Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3(1), 41–60 (2005)

    Article  Google Scholar 

  44. Niemelä, I.: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence 25(3–4), 241–273 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  45. Niemelä, I., Simons, P., Soininen, T.: Stable Model Semantics of Weight Constraint Rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 107–116. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  46. Pan, J.Z., Franconi, E., Tessaris, S., Stamou, G., Tzouvaras, V., Serafini, L., Horrocks, I.R., Glimm, B.: Specification of Coordination of Rule and Ontology Languages. Project Deliverable D2.5.1, KnowledgeWeb NoE (June 2004)

    Google Scholar 

  47. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation (February 2004)

    Google Scholar 

  48. Poole, D.: A Logical Framework for Default Reasoning. Artificial Intelligence 36, 27–47 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  49. Rainer, A.: Web Service Composition under Answer Set Programming. In: Proc. KI 2005 Workshop Planen, Scheduling und Konfigurieren, Entwerfen PuK 2005 (2005)

    Google Scholar 

  50. Rosati, R.: Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In: Proc. 1999 International Workshop on Description Logics (DL 1999), CEUR Workshop Proceedings, CEUR-WS.org, vol. 22, pp. 160–164 (1999)

    Google Scholar 

  51. Rosati, R.: On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics 3(1), 61–73 (2005)

    Google Scholar 

  52. Rosati, R.: \(\mathcal{DL}\text{+}log\): Tight Integration of Description Logics and Disjunctive Datalog. In: Proc. Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68–78. AAAI Press, Menlo Park (2006)

    Google Scholar 

  53. Rosati, R.: Reasoning with Rules and Ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 93–127. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  54. Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  55. Tsarkov, D., Horrocks, I.: Fact++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  56. Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38(3), 620–650 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  57. W3C. The Resource Description Framework, http://www.w3.org/RDF/

  58. Wang, K., Antoniou, G., Topor, R.W., Sattar, A.: Merging and Aligning Ontologies in dl-Programs. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 160–171. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  59. Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 170–181. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  60. ASPLIB: The Answer Set Programming Satisfiability Library, http://dit.unitn.it/~wasp/Solvers/index.html

  61. WASP homepage (since 2002), http://wasp.unime.it/

  62. The Wine Ontology, http://www.w3.org/TR/owl-guide/wine.rdf

  63. Woltran, S.: Answer Set Programming: Model Applications and Proofs-of-Concept. Technical Report WP5, Working Group on Answer Set Programming (WASP, IST-FET-2001-37004) (July 2005), Available at: http://www.kr.tuwien.ac.at/projects/WASP/report.html

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040, Vienna, Austria

    Thomas Eiter, Giovambattista Ianni, Roman Schindlauer & Hans Tompits

  2. Universidad Rey Juan Carlos, 28933, Móstoles, Spain

    Axel Polleres

Authors
  1. Thomas Eiter
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovambattista Ianni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Axel Polleres
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Roman Schindlauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hans Tompits
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centro de Inteligência Artificial, Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Pedro Barahona

  2. Institute for Informatics, University of Munich, Oettingenstr. 67, D-80538, München, Germany

    François Bry

  3. Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, I-39100, Bozen-Bolzano BZ, Italy

    Enrico Franconi

  4. IVS - Semantic Web Group, Leibniz University of Hannover, Appelstr. 4, D-30167, Hannover, Germany

    Nicola Henze

  5. University of Manchester, UK

    Ulrike Sattler

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H. (2006). Reasoning with Rules and Ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds) Reasoning Web. Reasoning Web 2006. Lecture Notes in Computer Science, vol 4126. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11837787_4

Download citation

  • DOI: https://doi.org/10.1007/11837787_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38409-0

  • Online ISBN: 978-3-540-38412-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation