Query answering for OWL-DL with rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3298, Issue , 2004, Pages 549-563

  Motik, Boris ^a   Sattler, Ulrike ^b   Studer, Rudi ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; DATA DESCRIPTION; ORTHOGONAL FUNCTIONS; SEMANTIC WEB;

DESCRIPTION LOGIC; DISJUNCTIVE DATALOG; DL-SAFE RULES; EXPRESSIVE POWER; QUERY ANSWERING; REASONING PROBLEMS; SEMANTIC WEB ONTOLOGIES; UNDECIDABILITY;

COMPUTABILITY AND DECIDABILITY;

EID: 35048890555     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30475-3_38     Document Type: Article

References (22)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, January 2003.
2. F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In Proc. of the 12th Int'l Joint Conf. on Artificial Intelligence (IJCAI-91), pages 452-457, Sydney, Australia, 1991.
3. L. Bachmair and H. Ganzinger. Resolution Theorem Proving. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume I, chapter 2, pages 19-99. Elsevier Science, 2001.
4. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic Paramodulation. Information and Computation, 121(2):172-192, 1995.
5. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. J. of Intelligent Information Systems, 10(3):227-252, 1998.
6. T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transactions on Database Systems, 22(3):364-418, 1997.
7. E. Grädel, M. Otto, and E. Rosen. Two-Variable Logic with Counting is Decidable. In Proc. of 12th IEEE Symposium on Logic in Computer Science LICS '97, Warsaw, Poland, 1997.
8. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of the Twelfth Int'l World Wide Web Conf. (WWW 2003), pages 48-57. ACM, 2003.
9. V. Haarslev and R. Möller. RACER System Description. In 1st Int'l Joint Conf. on Automated Reasoning (IJCAR-01), pages 701-706. Springer-Verlag, 2001.
10. I. Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In Proc. 6th Int'l. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647. Morgan Kaufmann Publishers, 1998.
11. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. of the Thirteenth Int'l World Wide Web Conf.(WWW 2004). ACM, 2004.
12. I. Horrocks and U. Sattler. Ontology Reasoning in the SUOQ(D) Description Logic. In B. Nebel, editor, Proc. of the 17th Int'l Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 199-204. Morgan Kaufmann, 2001.
13. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
14. U. Hustadt, B. Motik, and U. Sattler. 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.
15. - Description Logic to Disjunctive Datalog Programs. In Proc. of the 9th Conference on Knowledge Representation and Reasoning (KR2004). AAAI Press, June 2004.
16. A. Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
17. C. Lutz. Description Logics with Concrete Domains-A Survey. In Advances in Modal Logics, volume 4. King's College Publications, 2003.
18. B. Motik, A. Maedche, and R. Volz. 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.
19. A. Nonnengart and C. Weidenbach. Computing Small Clause Normal Forms. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume I, chapter 6, pages 335-367. Elsevier Science, 2001.
20. P. F. Patel-Schneider, P. Hayes, I. Horrocks, and F. van Harmelen. OWL Web Ontology Language; Semantics and Abstract Syntax, W3C Candidate Recommendation. http://www.w3.org/TR/owl-semantics/, November 2002.
21. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany, 2001.
22. M. Vardi. Why is modal logic so robustly decidable? In N. Immerman and P. Kolaitis, editors, Descriptive Complexity and Finite Models, volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 149-184. AMS, 1997.