Framework for an automated comparison of description logic reasoners

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

Volumn 4273 LNCS, Issue , 2006, Pages 654-667

  Gardiner, Tom ^a   Tsarkov, Dmitry ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DIGITAL LIBRARIES; INTEROPERABILITY; QUERY LANGUAGES; SEMANTICS; WORLD WIDE WEB;

DESCRIPTION LOGIC REASONERS; ONTOLOGY LANGUAGE; REAL-LIFE ONTOLOGIES; SEMANTIC WEB;

FORMAL LOGIC;

EID: 33845446260     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11926078_47     Document Type: Conference Paper

References (28)

1. Franz Baader and Ulrike Sattler. An overview of tableau algorithms for description logics. Studio, Logica, 69(1):5-40, October 2001.
2. Sean Bechhofer, Ralf Möller, and Peter Crowther. The DIG description logic interface. In Proceedings of DL2003 International Workshop on Description Logics, September 2003.
3. Sean Bechhofer, Raphael Volz, and Phillip Lord. Cooking the semantic web with the OWL API. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science. Springer, 2003.
4. Jeremy J. Carroll and Jos De Roo. OWL web ontology language test cases. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl- test/.
5. Yuanbo Guo, Zhengxiang Pan, and Jeff Heflin. An evaluation of knowledge base systems for large OWL datasets. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, Proc, of the 2004 International Semantic Web Conference (ISWC 2004), number 3298 in Lecture Notes in Computer Science, pages 274-288. Springer, 2004.
6. Volker Haarslev and Ralf Möller. High performance reasoning with very large knowledge bases: A practical case study. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 161-168, 2001.
7. Volker Haarslev and Ralf Möller. RACER system description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence, pages 701-705. Springer, 2001.
8. I. Horrocks. Benchmark analysis with FaCT. In Proc. of the 4th Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX 2000), number 1847 in Lecture Notes in Artificial Intelligence, pages 62-66. Springer-Verlag, 2000.
9. I. Horrocks and P. F. Patel-Schneider. FaCT and DLP. In Proc. of Tableaux'98, pages 27-30, 1998.
10. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer, 1999.
11. Ian Horrocks. The FaCT system. In Harrie de Swart, editor, Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98), volume 1397 of Lecture Notes in Artificial Intelligence, pages 307-312. Springer, 1998.
12. Ian Horrocks and Peter F. Patel-Schneider. DL systems comparison. In Proc. of the 1998 Description Logic Workshop (DL'98), pages 55-57. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/, 1998.
13. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7-26, 2003.
14. Ian Horrocks and Ulrike 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, 2001.
15. Ian Horrocks and Ulrike Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 448-453, 2005.
16. U. Hustadt and R. A. Schmidt. Using resolution for testing modal satisfiability and building models. In I. P. Gent, H. van Maaren, and T. Walsh, editors, SAT 2000: Highlights of Satisfiability Research in the Year 2000, volume 63 of Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam, 2000.
17. Also to appear in a special issue of Journal of Automated Reasoning.
18. A. Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca-Grau, and James Hendler. SWOOP: a web ontology editing browser. J. of Web Semantics, 4(2), 2005.
19. Fabio Massacci and Francesco M. Donini. Design and results of TANCS-00. In R. Dyckhoff, editor, Proc. of the 4th Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX 2000), volume 1847 of Lecture Notes in Artificial Intelligence, Springer, 2000.
20. Zhengxiang Pan. Benchmarking DL reasoners using realistic ontologies. In Proc. of the First OWL Experiences and Directions Workshop, 2005.
21. P. F. Patel-Schneider. DLP system description. In Proc. of the 1998 Description Logic Workshop (DL'98), pages 87-89. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/, 1998.
22. Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web ontology language semantics and abstract syntax. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl-semantics/.
23. Peter F. Patel-Schneider and Roberto Sebastiani. A new general method to generate random modal formulae for testing decision procedures. J. of Artificial Intelligence Research, 18:351-389, 2003.
24. Protégé, http://protege.stanford.edu/, 2003.
25. E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical OWL-DL reasoner. Submitted for publication to Journal of Web Semantics, 2005.
26. Dmitry Tsarkov and Ian Horrocks. Ordering heuristics for description logic reasoning. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 609-614, 2005.
27. Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297, 2006.
28. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, and Ian Horrocks. Using Vampire to reason with OWL. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, Proc. of the 2004 International Semantic Web Conference (ISWC 2004), number 3298 in Lecture Notes in Computer Science, pages 471-485. Springer, 2004.