Optimizing algebraic tableau reasoning for SHOQ: First experimental results

CEUR Workshop Proceedings

Volumn 573, Issue , 2010, Pages 161-172

  Faddoul, Jocelyne ^a   Haarslev, Volker ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC APPROACHES; OPTIMIZATION TECHNIQUES; ORDERS OF MAGNITUDE; REASONER; RUNTIMES; SEMANTIC PARTITIONING; TABLEAU ALGORITHM;

ALGEBRA; DATA DESCRIPTION; FORMAL LANGUAGES; INTEGER PROGRAMMING; SEMANTICS;

OPTIMIZATION;

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

References (11)

1. J. Faddoul, N. Farsinia, V. Haarslev, and R. Möller. A hybrid tableau algorithm for ALCQ. In Proc. of the 2008 Int. Workshop on Description Logics, also in 18th European Conference on Artificial Intelligence (ECAI 2008), pages 725-726, 2008.
2. J. Faddoul and V. Haarslev. Algebraic tableau reasoning for the description logic SHOQ. Logic Journal of the IGPL, Special Issue on Hybrid Logics, 2010. To appear.
3. J. Faddoul, V. Haarslev, and R. Möller. Algebraic tableau algorithm for ALCOQ. In Proc. of the 2009 Int. Workshop on Description Logics (DL 2009), 2009.
4. N. Farsiniamarj and V. Haarslev. Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic SHQ. AI Communications, Special Issue on Practical Aspects of Automated Reasoning, 2009. To appear.
5. V. Haarslev and R.Möller. Optimizing reasoning in description logics with qualified number restrictions. In Description Logics, pages 142-151, 2001.
6. V. Haarslev, M. Timmann, and R. Möller. Combining tableaux and algebraic methods for reasoning with qualified number restrictions. In Description Logics, pages 152-161, 2001.
7. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 199-204. Morgan Kaufmann, Los Altos, 2001.
8. Y. Kazakov and B. Motik. A resolution-based decision procedure for SHOIQ. Journal of Automated Reasoning, 40(2-3):89-116, 2008.
9. B. Motik, R. Shearer, and I. Horrocks. Optimized reasoning in description logics using hypertableaux. In (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, pages 67-83. Springer, 2007.
10. H. J. Ohlbach and J. Koehler. Modal logics, description logics and arithmetic reasoning. Artificial Intelligence, 109(1-2):1-31, 1999.
11. B. Parsia, B. Cuenca Grau, and E. Sirin. From wine to water: Optimizing description logic reasoning for nominals. In Proc. of the 10th Int. Conference on Principles of Knowledge Representation and Reasoning (KR), pages 90-99, 2006.