A better uncle for OWL nominal schemas for integrating rules and ontologies

Proceedings of the 20th International Conference on World Wide Web, WWW 2011

Volumn , Issue , 2011, Pages 645-654

  Krötzsch, Markus ^a   Maier, Frederick ^b   Krisnadhi, Adila A ^b   Hitzler, Pascal ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b WRIGHT STATE UNIVERSITY   (United States)

Author keywords

Datalog; Description logic; Semantic web rule language; SROIQ; Tractability; Web ontology language

Indexed keywords

DATALOG; DESCRIPTION LOGIC; SEMANTIC WEB RULE LANGUAGE (SWRL); SROIQ; TRACTABILITY; WEB ONTOLOGY LANGUAGE;

DATA DESCRIPTION; WORLD WIDE WEB;

ONTOLOGY;

EID: 84873462557     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1963405.1963496     Document Type: Conference Paper

References (39)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, second edition, 2007.
2. J.-F. Baget, M. Leclère, and M.-L. Mugnier. Walking the decidability line for rules with existential variables. In Lin et al. [28], pages 466-476.
3. J.-F. Baget, M. Leclère, M.-L. Mugnier, and E. Salvat. Extending decidable cases for rules with existential variables. In C. Boutilier, editor, Proc. 21st Int. Conf. on Artificial Intelligence (IJCAI'09), pages 677-682. IJCAI, 2009.
4. H. Boley, G. Hallmark, M. Kifer, A. Paschke, A. Polleres, and D. Reynolds, editors. RIF Core Dialect. W3C Recommendation, 22 June 2010. Available at http://www.w3.org/TR/rif-core/.
5. G. Brewka and J. Lang, editors. Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'08). AAAI Press, 2008.
6. A. Calì, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In Brewka and Lang [5], pages 70-80.
7. A. Calì, G. Gottlob, and T. Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. In J. Paredaens and J. Su, editors, Proc. 28th Symposium on Principles of Database Systems (PODS'09), pages 77-86. ACM, 2009.
8. A. Calì, G. Gottlob, and A. Pieris. Advanced processing for ontological queries. Proceedings of VLDB 2010, 3(1):554-565, 2010.
9. A. Calì, G. Gottlob, and A. Pieris. Query answering under non-guarded rules in Datalog+/-. In P. Hitzler and T. Lukasiewicz, editors, Proc. 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010), volume 6333 of LNCS, pages 1-17. Springer, 2010.
10. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.
11. J. de Bruijn. RIF RDF and OWL Compatibility. W3C Recommendation, 22 June 2010. Available at http://www.w3.org/TR/rif-rdf-owl/.
12. S. Demri and H. Nivelle. Deciding regular grammar logics with converse through first-order logic. J. of Logic, Language and Information, 14(3):289-329, 2005.
13. A. Deutsch and V. Tannen. Reformulation of XML queries and constraints. In D. Calvanese, M. Lenzerini, and R. Motwani, editors, Proc. 9th Int. Conf. on Database Theory (ICDT'03), volume 2572 of LNCS, pages 225-241. Springer, 2003.
14. R. Fagin, P.G. Kolaitis, R.J. Miller, and L. Popa. Data exchange: semantics and query answering. Theoretical Computer Science, 336(1):89-124, 2005.
15. B.N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: combining logic programs with description logic. In Proc. 12th Int. Conf. on World Wide Web (WWW'03), pages 48-57. ACM, 2003.
16. P. Hitzler, M. Krötzsch, and S. Rudolph. Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009.
17. P. Hitzler and B. Parsia. Ontologies and rules. In S. Staab and R. Studer, editors, Handbook on Ontologies, pages 111-132. Springer, 2 edition, 2009.
18. I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible SROIQ. In P. Doherty, J. Mylopoulos, and C.A. Welty, editors, Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'06), pages 57-67. AAAI Press, 2006.
19. I. Horrocks, P.F. Patel-Schneider, S. Bechhofer, and D. Tsarkov. OWL Rules: A proposal and prototype implementation. J. of Web Semantics, 3(1):23-40, 2005.
20. I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language. W3C Member Submission, 21 May 2004. See http://www.w3.org/Submission/SWRL/.
21. I. Horrocks and U. Sattler. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence, 160(1):79-104, 2004.
22. Y. Kazakov. RIQ and SROIQ are harder than SHOIQ. In Brewka and Lang [5], pages 274-284.
23. M. Kr̈otzsch. Description Logic Rules, volume 008 of Studies on the Semantic Web. IOS Press/AKA, 2010.
24. M. Krötzsch. Efficient inferencing for OWL EL. In T. Janhunen and I. Niemelä editors, Proc. 12th European Conf. on Logics in Artificial Intelligence (JELIA'10), volume 6341 of LNAI, pages 234-246. Springer, 2010.
25. M. Krötzsch, S. Rudolph, and P. Hitzler. Complexity boundaries for Horn description logics. In Proc. 22nd AAAI Conf. on Artificial Intelligence (AAAI'07), pages 452-457. AAAI Press, 2007.
26. M. Krötzsch, S. Rudolph, and P. Hitzler. Description logic rules. In M. Ghallab et al., editors, Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, pages 80-84. IOS Press, 2008.
27. M. Krötzsch, S. Rudolph, and P. Hitzler. ELP: Tractable rules for OWL 2. In A. Sheth et al., editors, Proceedings of the 7th International Semantic Web Conference (ISWC-08), volume 5318 of Lecture Notes in Computer Science, pages 649-664. Springer, 2008.
28. F. Lin, U. Sattler, and M. Truszczynski, editors. Proc. 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'10). AAAI Press, 2010.
29. D.L. McGuinness and F. van Harmelen, editors. OWL Web Ontology Language Overview. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl-features/.
30. B. Motik, B. Cuenca Grau, I. Horrocks, and U. Sattler. Representing ontologies using description logics, description graphs, and rules. Artificial Intelligence, 173(14):1275-1309, 2009.
31. B. Motik, B. Cuenca Grau, I. Horrocks, Z. Wu, A. Fokoue, and C. Lutz, editors. OWL 2 Web Ontology Language: Profiles. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-profiles/.
32. B. Motik and R. Rosati. Reconciling description logics and rules. Journal of the ACM, 57(5), 2010.
33. B. Motik, U. Sattler, and R. Studer. Query answering for OWL DL with rules. J. of Web Semantics, 3(1):41-60, 2005.
34. B. Motik, R. Shearer, and I. Horrocks. Hypertableau reasoning for description logics. J. of Artificial Intelligence Research, 36:165-228, 2009.
35. M. Ortiz, S. Rudolph, and M. Simkus. Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In Lin et al. [28], pages 269-279.
36. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2- overview/.
37. P.F. Patel-Schneider and B. Motik, editors. OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-mapping-to-rdf/.
38. I. Pratt-Hartmann. Complexity of the two-variable fragment with counting quantifiers. J. of Logic, Language and Information, 14:369-395, 2005.
39. S. Rudolph, M. Krötzsch, and P. Hitzler. Cheap Boolean role constructors for description logics. In S. Ḧolldobler et al., editors, Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA'08), volume 5293 of LNAI, pages 362-374. Springer, 2008.