Abstract
Both OWL-DL and function-free Horn rules are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonic negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in \(\mathcal{SHIQ}(\mathbf{D})\) extended with DL-safe rules based on the reduction to disjunctive datalog.
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
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, January 2003. Cambridge University Press, Cambridge (2003)
Baader, F., Hanschke, P.: A Scheme for Integrating Concrete Domains into Concept Languages. In: Proc. of the 12th Int’l Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, Australia, pp. 452–457 (1991)
Bachmair, L., Ganzinger, H.: Resolution Theorem Proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, ch. 2, pp. 19–99. Elsevier Science, Amsterdam (2001)
Bachmair, L., Ganzinger, H., Lynch, C., Snyder, W.: Basic Paramodulation. Information and Computation 121(2), 172–192 (1995)
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. of Intelligent Information Systems 10(3), 227–252 (1998)
Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on. Database Systems 22(3), 364–418 (1997)
Grädel, E., Otto, M., Rosen, E.: Two-Variable Logic with Counting is Decidable. In: Proc. of 12th IEEE Symposium on Logic in Computer Science LICS 1997, Warsaw, Poland (1997)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. of the Twelfth Int’l World Wide Web Conf (WWW 2003), pp. 48–57. ACM, New York (2003)
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–706. Springer, Heidelberg (2001)
Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: Proc. 6th Int’l. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636–647. Morgan Kaufmann Publishers, San Francisco (1998)
Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. of the Thirteenth Int’l World Wide Web Conf(WWW 2004), ACM Press, New York (2004)
Horrocks, I., Sattler, U.: Ontology Reasoning in the SHOQ(D) Description Logic. In: Nebel, B. (ed.) Proc. of the 17th Int’l Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3), 239–263 (2000)
Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around SHIQ in a Resolution Framework. Technical Report 3-8-04/04, FZI, Karlsruhe, Germany (April 2004), http://www.fzi.de/wim/publikationen.php?id=1172
Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ− Description Logic to Disjunctive Datalog Programs. In: Proc. of the 9th Conference on Knowledge Representation and Reasoning (KR 2004), June 2004, AAAI Press, Menlo Park (2004)
Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165–209 (1998)
Lutz, C.: Description Logics with Concrete Domains—A Survey. In: Advances in Modal Logics, vol. 4, King’s College Publications (2003)
Motik, B., Maedche, A., Volz, R.: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. In: 10th Int’l Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16 (2003)
Nonnengart, A., Weidenbach, C.: Computing Small Clause Normal Forms. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, ch. 6, pp. 335–367. Elsevier Science, Amsterdam (2001)
Patel-Schneider, P.F., Hayes, P., Horrocks, I., van Harmelen, F.: OWL Web Ontology Language; Semantics and Abstract Syntax, W3C Candidate Recommendation (November 2002), http://www.w3.org/TR/owl-semantics/
Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany (2001)
Vardi, M.: Why is modal logic so robustly decidable? In: Immerman, N., Kolaitis, P. (eds.) Descriptive Complexity and Finite Models. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 31, pp. 149–184. AMS, Providence (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Motik, B., Sattler, U., Studer, R. (2004). Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds) The Semantic Web – ISWC 2004. ISWC 2004. Lecture Notes in Computer Science, vol 3298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30475-3_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-30475-3_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23798-3
Online ISBN: 978-3-540-30475-3
eBook Packages: Springer Book Archive