High performance absorption algorithms for terminological reasoning

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 159-166

  Zuo, Ming ^a   Haarslev, Volker ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; EXPERIMENTAL EVALUATION; EXPERIMENTAL TEST; KNOWLEDGE BASIS; OPTIMIZATION TECHNIQUES; REAL APPLICATIONS; REASONING PERFORMANCE; RUNTIMES; SYNTHETIC BENCHMARK;

ALGORITHMS; FORMAL LANGUAGES; OPTIMIZATION;

DATA DESCRIPTION;

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

References (8)

1. F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H. Profitlich. An empirical analysis of optimization techniques for terminological representation systems. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR92), pages 270-281, 1992.
2. F. Baader and W. Nutt. Basic description logics. In F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors, The Description Logic Handbook: Theory, implementation, and applications, pages 47- 100. 2003.
3. V. Haarslev and R. Möller. High performance reasoning with very large knowledge bases. In Proceedings of Seventeenth International Joint Conference on Artificial Intelligence, pages 161-166, 2001.
4. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
5. I. Horrocks. Implementation and optimisation techniques. In F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors, The Description Logic Handbook: Theory, implementation, and applications, pages 313-355. 2003.
6. I. Horrocks and S. Tobies. Optimisation of terminological reasoning. In Proc. of the 2000 Description Logic Workshop, pages 183-192, 2000.
7. I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, pages 285-296, 2000.
8. F. Massacci. Simplification: A general constraint propagation technique for propositional and modal tableaux. In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pages 217-231, 1998.