A tableau algorithm for reasoning about concepts and similarity

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

Volumn 2796, Issue , 2003, Pages 134-149

  Lutz, Carsten ^a   Wolter, Frank ^b   Zakharyaschev, Michael ^c  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; ALGORITHMS; APPROXIMATION THEORY; COMPUTABILITY AND DECIDABILITY; DATA TRANSFER; FORMAL LOGIC; INFORMATION RETRIEVAL SYSTEMS;

DECISION PROCEDURE; EXPRESSIVE DESCRIPTION LOGIC; TABLEAU ALGORITHM;

COMPUTER CIRCUITS; ALGORITHMIC LANGUAGES;

APPROXIMATE REPRESENTATION; DECIDABILITY TRANSFER; REASONING; TABLEAU ALGORITHMS;

EID: 7044274805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45206-5_12     Document Type: Conference Paper

References (13)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
2. F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics and abstract description systems. J. of Artificial Intelligence Research, 16:1–58, 2002.
3. K. Fine and G. Schurz. Transfer theorems for stratified modal logics. In J. Copeland, editor, Logic and Reality, Essays in Pure and Applied Logic. In memory of Arthur Prior, pages 169–213. Oxford University Press, 1996.
4. I. Horrocks and P. Patel-Schneider. The generation of DAML+OIL. In C. Goble, D. McGuinness, R. M¨oller, and P. Patel-Schneider, editors, Proceedings of the International Workshop in Description Logics 2001 (DL2001), number 49 in CEURWS(http://ceur-ws.org/), pages 30–35, 2001.
5. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In B. Nebel, editor, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI’01), pages 199–204. Morgan Kaufmann, 2001.
6. I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic SHIQ. In D. MacAllester, editor, Proc. of the 17th International Conference on Automated Deduction (CADE-17), number 1831 in LNCS. Springer, 2000.
7. I. Horrocks, P. Patel-Schneider, and F. van Harmelen. Reviewing the design of DAML+OIL: An ontology language for the semantic web. In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002), 2002.
8. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. J. Symbolic Logic, 56:1469–1485, 1991.
9. O. Kutz, H. Sturm, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev. Logics of metric spaces. ACM Transactions on Computational Logic, 2003. In print.
10. M. Schmidt-Schaus and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1–26, 1991.
11. E. Spaan. Complexity of Modal Logics. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1993.
12. F. Wolter. Fusions of modal logics revisited. In M. Kracht, M. De Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic, volume 1, pages 361–379. CSLI, Stanford, 1997.
13. F. Wolter and M. Zakharyaschev. Reasoning about distances. To appear in Proc. IJCAI 2003.