Benchmarking OWL reasoners

CEUR Workshop Proceedings

Volumn 350, Issue , 2008, Pages

  Bock, Jürgen ^a   Haase, Peter ^b   Ji, Qiu ^b   Volz, Raphael ^a  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY REASONINGS; REASONERS; REASONING TASKS;

SEMANTICS;

SCALABILITY;

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

References (15)

1. J. Bock, P. Haase, Q. Ji, and R. Volz. Benchmarking OWL Reasoners - Technical Report. Technical report, University of Karlsruhe, 2007. http://www.aifb.uni-karlsruhe.de/WBS/pha/publications/owlbenchmark.pdf.
2. I. F. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, and L. Aroyo, editors. The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings, volume 4273 of Lecture Notes in Computer Science. Springer, 2006.
3. M. d'Aquin, C. Baldassarre, L. Gridinoc, S. Angeletou, M. Sabou, and E. Motta. Characterizing knowledge on the semantic web with Watson. In Proceedings of the 5th International EON Workshop, International Semantic Web Conference (ISWC 2007), Buasn, Korea, 2007.
4. T. Gardiner, D. Tsarkov, and I. Horrocks. Framework for an automated comparison of description logic reasoners. In Cruz et al. [2], pages 654-667.
5. B. Cuenca Grau. Tractable Fragments of the OWL 1.1 Web Ontology Language, February 2006. http://owl-workshop.man.ac.uk/Tractable.html,accessed 22/06/2007.
6. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proc. of WWW 2003, Budapest, Hungary, May 2003, pages 48-57. ACM, 2003.
7. Y. Guo, Z. Pan, and J. Heflin. Lubm: A benchmark for owl knowledge base systems. J. Web Sem., 3(2-3):158-182, 2005. (Pubitemid 41336740)
8. V. Haarslev, R. Möller, and M. Wessel. Querying the semantic web with racer + nrql. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
9. C. M. Keet and M. Rodríguez. Comprehensiveness versus scalability: guidelines for choosing an appropriate knowledge representation language for bio-ontologies. Technical Report KRDB07-5, Faculty of Computer Science, Free University of Bozen-Bolzano, 2007.
10. M. Krötzsch, S. Rudolph, and P. Hitzler. Complexity boundaries for horn description logics. In Proceedings of the 22nd AAAI Conference on Artficial Intelligence, pages 452-457, Vancouver, British Columbia, Canada, 2007. AAAI Press. (Pubitemid 350149612)
11. B. Motik and U. Sattler. A comparison of reasoning techniques for querying large description logic aboxes. In M. Hermann and A. Voronkov, editors, LPAR, volume 4246 of Lecture Notes in Computer Science, pages 227-241. Springer, 2006. (Pubitemid 44850679)
12. B. Motik, R. Shearer, and I. Horrocks. Optimized reasoning in description logics using hypertableaux. In F. Pfenning, editor, CADE, volume 4603 of Lecture Notes in Computer Science, pages 67-83. Springer, 2007. (Pubitemid 47545104)
13. E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. Katz. Pellet: A Practical OWL-DL Reasoner. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), 2005. http://mindswap.org/papers/ PelletDemo.pdf.
14. T. D. Wang, B. Parsia, and J. A. Hendler. A survey of the web ontology landscape. In Cruz et al. [2], pages 682-694.
15. T. Weithöner, T. Liebig, M. Luther, S. Böhm, F. von Henke, and O. Noppens. Real-world Reasoning with OWL. In E. Franconi, M. Kifer, and W. May, editors, Proceedings of the European Semantic Web Conference, ESWC2007, volume 4519 of Lecture Notes in Computer Science. Springer-Verlag, July 2007.