DL reasoner vs. First-order prover

CEUR Workshop Proceedings

Volumn 81, Issue , 2003, Pages

  Tsarkov, Dmitry ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

FIRST ORDER; KNOWLEDGE BASIS; REASONER; REASONING PROBLEMS;

DATA DESCRIPTION;

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

References (13)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.
2. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, and Enrico Franconi. 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 (KR'92), pages 270-281. Morgan Kaufmann, Los Altos, 1992.
3. Alexander Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1-2):353-367, 1996.
4. CaSC ATP Competition. http://www.cs.miami.edu/-tptp/casc/.
5. I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'2000), pages 285-296, 2000.
6. Ian Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647, 1998.
7. Ian Horrocks and Peter F. Patel-Schneider. The generation of DAML+OIL. In Proc. of the 2001 Description Logic Workshop (DL 2001), pages 30-35. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-49/, 2001.
8. U. Hustadt and R. A. Schmidt. MSPASS: Modal reasoning by translation and firstorder resolution. In R. Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX 2000), volume 1847 of Lecture Notes in Artificial Intelligence, pages 67-71. Springer, 2000.
9. Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, and Klaus Mayr. SETHEO and e-SETHEO - the CADE-13 systems. Journal of Automated Reasoning, 18(2):237-246, 1997.
10. A. L. Rector, W. A. Nowlan, and A. Glowinski. Goals for concept representation in the GALEN project. In Proc. of the 17th Annual Symposium on Computer Applications in Medical Care (SCAMC'93), pages 414-418, Washington DC, USA, 1993.
11. A. Riazanov and A. Voronkov. The Design and Implementation of Vampire. AI Communications, 15(2-3):91-110, 2002.
12. Klaus Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 466-471, 1991.
13. T. Tammet. Gandalf. Journal of Automated Reasoning, 18(2):199-204, 1997.