Extending the SHOIQ(D) tableaux with DL-safe rules: First results

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 192-199

  Kolovski, Vladimir ^a   Parsia, Bijan ^a   Sirin, Evren ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINING RULES; DESCRIPTION LOGIC; DL-SAFE RULES; HIGH PRICE; QUERY ANSWERING; TABLEAUX ALGORITHM;

ALGORITHMS; FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84872931525     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Pellet - OWL DL Reasoner. http://www.mindswap.org/2003/pellet.
2. Rule interchange format working group, 2005. http://www.w3.org/2005/ rules/wg.
3. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. Web Ontology Language (OWL) Reference Version 1.0. W3C Working Draft 12 November 2002 http://www.w3.org/TR/ 2002/WD-owl-ref-20021112/.
4. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Al-log: integrating datalog and description logics. Journal of Intelligent Information Systems, 10:227-252, 1998.
5. C. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19:17-37, 1982.
6. J. Heflin, Z. Pan, and Y. Guo. The lehigh university benchmark LUBM. http://swat.cse.lehigh.edu/projects/lubm/2003.
7. I. Horrocks and U. Sattler. A tableaux decision procedure for shoiq. In Proc. of IJCAI 2005, pages 448 - 453.
8. I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic shiq. In D. MacAllester, editor, Proc. of the CADE 2000, number 1831, pages 482-496. Springer-Verlag, 2000.
9. A. Levy and M.-C. Rousset. CARIN: A representation language combining horn rules and description logics. Artificial Intelligence, 104(1-2):165-209, 1998.
10. B. Motik. KAON2 - ontology management for the semantic web. http://kaon2.semanticweb.org/2005.
11. B. Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesitt Karlsruhe, Germany, January 2006.
12. B. Motik, U. Sattler, and R. Studer. Query answering for owl-dl with rules. In Proc. of ISWC 2004, pages 549-563.