Abstract
Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Epistemic First-Order Queries over Description Logic Knowledge Bases. In: Proc. DL 2006, May 30-June 1, Lake District, UK (2006)
de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: The Web Service Modeling Language: An Overview. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 590–604. Springer, Heidelberg (2006)
de Bruijn, J., Polleres, A., Lara, R., Fensel, D.: OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In: Proc. WWW 2005, China, Japan, May 10-14, pp. 623–632 (2005)
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An Epistemic Operator for Description Logics. Artificial Intelligence 100(1–2), 225–274 (1998)
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems 10(3) (1998)
Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic 3(2), 177–225 (2002)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. KR 2004, Whistler, Canada, June 2–5, pp. 141–151 (2004)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. ICLP 1988, Seattle, WA, USA, August 15-19, pp. 1070–1080 (1988)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9(3–4), 365–386 (1991)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. WWW 2003, Budapest, Hungary, May 20–24, pp. 48–57 (2003)
Horrocks, I., Parsia, B., Patel-Schneider, P.F., Hendler, J.: Semantic web architecture: Stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)
Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. WWW 2004, New York, May 17–22, pp. 723–731 (2004)
Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A Realistic Architecture for the Semantic Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 17–29. Springer, Heidelberg (2005)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)
Kutz, O., Horrocks, I., Sattler, U.: The Even More Irresistible SROIQ. In: Proc. KR 2006, Lake District, UK, June 2-5, pp. 57–67 (2006)
Levy, A.Y., Rousset, M.-C.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence 104(1–2), 165–209 (1998)
Lifschitz, V.: Nonmonotonic Databases and Epistemic Queries. In: Proc. IJCAI 1991, Sydney, Australia, August 24–30, pp. 381–386 (1991)
Motik, B., Rosati, R.: Closing Semantic Web Ontologies. Technical report, University of Manchester, UK (2006), http://www.cs.man.ac.uk/~bmotik/publications/papers/mr06closing-report.pdf
Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with rules. Journal of Web Semantics 3(1), 41–60 (2005)
Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13(1–2) (1980)
Reiter, R.: What Should a Database Know? Journal of Logic Programming 14(1–2), 127–153 (1992)
Rosati, R.: DL+log: A Tight Integration of Description Logics and Disjunctive Datalog. In: Proc. KR 2006, Lake District, UK, June 2–5, pp. 68–78 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Motik, B., Horrocks, I., Rosati, R., Sattler, U. (2006). Can OWL and Logic Programming Live Together Happily Ever After?. In: Cruz, I., et al. The Semantic Web - ISWC 2006. ISWC 2006. Lecture Notes in Computer Science, vol 4273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11926078_36
Download citation
DOI: https://doi.org/10.1007/11926078_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49029-6
Online ISBN: 978-3-540-49055-5
eBook Packages: Computer ScienceComputer Science (R0)