Abstract
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces DatalogDL as a family of hybrid languages, where Datalog rules are parameterized by various DL (description logic) languages ranging from ALC to SHI Q. Making DatalogDL a decidable system with complexity of EXPTIME, we propose independent properties in the DL body as the restriction to hybrid rules, and weaken the safeness condition to balance the trade-off between expressivity and reasoning power. Building on existing well-developed techniques, we present a principled approach to enrich (RuleML) rules with information from (OWL) ontologies, and develop a prototype system integrating a rule engine (OO jDREW) with a DL reasoner (RACER).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hybrid Rules in 00 jDREW. http://www.jdrew.org/oojdrew/exa/hybridrules.html.
Grigoris Antoniou, Carlos Viegas Damasio, Benjamin N. Grosof, Ian Horrocks, Michael Kifer, Jan Maluszynski, and Peter F. Patel-Schneider (2005) Combining Rules and Ontologies-A survey. http://rewerse.net/deliverables/m12/i3-d3.pdf.
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider (2003) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
Marcel Ball, Harold Boley, David Hirtle, Jing Mei, and Bruce Spencer (2005) The OO jDREW Reference Implementation of RuleML. In: International Conference on Rules and Rule Markup Languages for the Semantic Web, pp 218–223.
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov (2001) Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, pp 374–425.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf (1998) AL-log: Integrating Datalog and Description Logics. Jour nal of Intelligent Information Systems, pp 227–252.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits (2004) Combining Answer Set Programming with Description Logics for the Semantic Web. In: The Ninth International Conference on the Prin ciples of Knowledge Representation and Reasoning, pp 141–151.
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker (2003) Description Logic Programs: Combining Logic Programs with De scription Logic. In: The Twelfth International World Wide Web Conference, pp 48–57.
Volker Haarslev and Ralf Mller (2001) RACER System Description. In: International Joint Conference on Automated Reasoning, pp 701–706.
Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, and James A. Hendler (2005) Semantic Web Architecture: Stack or Two Towers? In: Workshop on Principles and Practice of Semantic Web Reasoning, pp 37–41.
Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin N. Grosof, and Mike Dean (2004) Semantic Web Rule Language. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/.
Ian Horrocks and Sergio Tessaris (2002) Querying the Semantic Web: a Formal Approach. In: Workshop on Principles and Practice of Semantic Web Reasoning, pp 177–191.
Michael Kifer, Jos de Bruijn, Harold Boley, and Dieter Fensel (2005) A Realistic Architecture for the Semantic Web. In: International Conference on Rules and Rule Markup Languages for the Semantic Web, pp 17–29.
Alon Y. Levy and Marie-Christine Rousset (1996) CARIN: A Representation Language Combining Horn Rules and Description Logics. In: The Twelfth European Conference on Artificial Intelligence, pp 323–327.
Jie Li, Harold Boley, Virendrakumar C. Bhavsar, and Jing Mei (2006) Expert Finding for eCollaboration Using FOAF with RuleML Rules. In: The Montreal Conference on eTechnologies, May 2006. To Appear.
John W. Lloyd (1987) Foundations of Logic Programming (second, ex tended edition). Springer series in symbolic computation.
Boris Motik, Ulrike Sattler, and Rudi Studer (2005) Query Answering for OWL-DL with Rules. Journal of Web Semantics, pp 41–60.
Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks (2004) OWL Web Ontology Language Semantics and Abstract Syntax. http://www.w3.org/TR/owl-absyn/.
Riccardo Rosati (2005) On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, pp 61–73.
W3C (2005) Rule Interchange Format Working Group. http://www.w3.org/2005/rules/wg.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this paper
Cite this paper
Mei, J., Boley, H., Li, J., Bhavsar, V.C., Lin, Z. (2006). DatalogDL: Datalog Rules Parameterized by Description Logics. In: Koné, M.T., Lemire, D. (eds) Canadian Semantic Web. Semantic Web and Beyond, vol 2. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34347-1_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-34347-1_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-29815-3
Online ISBN: 978-0-387-34347-1
eBook Packages: Computer ScienceComputer Science (R0)