Comparison of reasoners for large ontologies in the OWL 2 EL profile

Semantic Web

Volumn 2, Issue 2, 2011, Pages 71-87

  Dentler, Kathrin ^a,b   Cornet, Ronald ^a   Ten Teije, Annette ^b   De Keizer, Nicolette ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Biomedical ontologies; DL reasoners; OWL 2 EL; Semantic Web; SNOMED CT

Indexed keywords

EID: 84889036107     PISSN: 15700844     EISSN: 22104968     Source Type: Journal    
DOI: 10.3233/SW-2011-0034     Document Type: Review

References (54)

1. F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. In Proc. of the Nineteenth International Joint Conference on Artificial Intelligence, Oct. 2005.
2. F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope Further. In Proc. of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
3. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? In Proc. of the Methods for Modalities Workshop, 2005.
4. F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Completing description logic knowledge bases using formal concept analysis. In IJCAI, pages 230-235, 2007.
5. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL - A Polynomial-time Reasoner for Life Science Ontologies. In Proc. of the 3rd International Joint Conference on Automated Reasoning, volume 4130, pages 287-291. Springer, 2006.
6. F. Baader, C. Lutz, and A.-Y. Turhan. Small is Again Beautiful in Description Logics. KI - Künstliche Intelligenz, 24(1):25- 33, Feb. 2010.
7. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2nd edition, 2007.
8. S. Bail, B. Parsia, and U. Sattler. JustBench: A Framework for OWL Benchmarking. The Semantic Web - ISWC 2010, 2010.
9. J. Bock, P. Haase, Q. Ji, and R. Volz. Benchmarking OWL reasoners. In ARea2008 - Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, 2008.
10. S. Brandt. Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and-What Else? In ECAI, volume 16, pages 298-302, 2004.
11. J. Broekstra, A. Kampman, and F. Van Harmelen. Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. The Semantic Web - ISWC 2002, volume 2342, pages 54-68, 2002.
12. J.J. Carroll, I. Dickinson, C. Dollin, D. Reynolds, A. Seaborne, and K.Wilkinson. Jena: Implementing the SemanticWeb Recommendations, 2004.
13. R. Cornet and N. de Keizer. Forty years of SNOMED: A literature review. BMC medical informatics and decision making, 2008.
14. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in Description Logics. Principles of Knowledge Representation, pages 191-236, 1996.
15. T. Gardiner, D. Tsarkov, and I. Horrocks. Framework for an automated comparison of description logic reasoners. In The Semantic Web - ISWC 2006, volume 4273, pages 654-667. Springer, 2006.
16. B. Grau, I. Horrocks, and Y. Kazakov. Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence, 31:273-318, 2008.
17. Y. Guo, Z. Pan, and J. Heflin. LUBM: A Benchmark for OWL Knowledge Base Systems. Web Semantics: Science, Services and Agents on the World Wide Web, 3(2-3):158-182, 2005.
18. V. Haarslev, R. Möller, and S. Wandelt. The revival of structural subsumption in tableau-based description logic reasoners. In Proc. of the 2008 International Workshop on Description Logics, 2008.
19. V. Haarslev and R. Müller. RACER System Description. Automated Reasoning, 2083:701-705, 2001.
20. M. Horridge and S. Bechhofer. The OWL API: A Java API forWorking with OWL 2 Ontologies. In 6th OWL Experienced and Directions Workshop, 2009.
21. M. Horridge, B. Parsia, and U. Sattler. Justification Oriented Proofs in OWL. In The Semantic Web - ISWC 2010, volume 6496, pages 354-369. Springer, 2010.
22. I. Horrocks. Optimising tableaux decision procedures for description logics. PhD thesis, University of Manchester, 1997.
23. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-264, 2000.
24. Y. Kazakov. SRIQ and SROIQ are Harder than SHOIQ. In Proc. of the 21st International Workshop on Description Logics, 2008.
25. Y. Kazakov. Consequence-Driven Reasoning for Horn SHIQ Ontologies. In Proc. of the 21st International Conference on Artificial Intelligence, pages 2040-2045, 2009.
26. A. Kiryakov, D. Ognyanov, and D. Manov. OWLIM - A Pragmatic Semantic Repository for OWL. In Web Information Systems Engineering Workshops, pages 182-192. Springer, 2005.
27. B. Konev, C. Lutz, D.Walther, and F.Wolter. Formal Properties of Modularisation. Modular Ontologies, 5445:25-66, 2009.
28. M. Krötzsch, S. Rudolph, and P. Hitzler. Description Logic Rules. In Proc. of the 18th European Conference on Artificial Intelligenc, pages 80-84. IOS Press, 2008.
29. M. Krötzsch, S. Rudolph, and P. Hitzler. ELP: Tractable Rules for OWL 2. In The Semantic Web - ISWC 2008, pages 649- 664. Springer, 2008.
30. M. Lawley and C. Bousquet. Fast Classification in Protege: Snorocket as an OWL2 EL Reasoner. In Australasian Ontology Workshop, 2010.
31. T. Liebig. Reasoning with OWL - System Support and Insights, 2006.
32. T. Liebig, M. Luther, O. Noppens, M. Rodriguez, D. Calvanese, M. Wessel, R. Möller, M. Horridge, S. Bechhofer, D. Tsarkov et al. OWLlink: DIG for OWL 2. In 5th OWL Experienced and Directions Workshop, 2008.
33. M. Luther, T. Liebig, S. Böhm, and O. Noppens.Who the Heck Is the Father of Bob? In 6th European Semantic Web Conference, pages 66-80, 2009.
34. L. Ma, Y. Yang, Z. Qiu, G. Xie, Y. Pan, and S. Liu. Towards a Complete OWL Ontology Benchmark. The Semantic Web: Research and Applications, 4011:125-139, 2006.
35. J. Mendez and B. Suntisrivaraporn. Reintroducing CEL as an OWL 2 EL Reasoner. In Proc. of the 2009 International Workshop on Description Logics, volume 477, 2009.
36. R. Mishra and S. Kumar. Semantic web reasoners and languages. Artificial Intelligence Review, 35:339-368, 2010.
37. B. Motik, R. Shearer, and I. Horrocks. Optimized Reasoning in Description Logics using Hypertableaux. In Proc. of the 21st International Conference on Automated Deduction, volume 4603, pages 67-83. Springer, 2007.
38. B. Motik and R. Studer. KAON2 - A Scalable Reasoning Tool for the Semantic Web. In Proc. of the 2nd European Semantic Web Conference, 2005.
39. B. Parsia, C. Halaschek-Wiener, and E. Sirin. Towards Incremental Reasoning Through Updates in OWL-DL. In Reasoning on theWeb, 2006.
40. Y. Ren, J. Pan, and Y. Zhao. Soundness Preserving Approximation for TBox Reasoning. In Proc. of the 25th AAAI Conference, 2010.
41. A. Riazanov and A. Voronkov. Vampire 1.1. Automated Reasoning, 2001.
42. S. Rudolph, T. Tserendorj, and P. Hitzler. What Is Approximate Reasoning? Web Reasoning and Rule Systems, 5341:150-164, 2008.
43. R. Shearer, B. Motik, and I. Horrocks. HermiT: A Highly- Efficient OWL Reasoner. In 5th OWL Experienced and Directions Workshop, 2008.
44. E. Sirin and B. Parsia. SPARQL-DL: SPARQL Query for OWL-DL. In 3rd OWL Experiences and Directions Workshop, volume 4, 2007.
45. E. Sirin, B. Parsia, B. Grau, a. Kalyanpur, and Y. Katz. Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):51-53, June 2007.
46. H. Stuckenschmidt, C. Parent and S. Spaccapietra. Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Springer, 2009.
47. B. Suntisrivaraporn. Empirical evaluation of reasoning in lightweight DLs on life science ontologies. In Proc. of the 2nd Mahasarakham International Workshop on AI, 2008.
48. B. Suntisrivaraporn. Module Extraction and Incremental Classification: a Pragmatic Approach for EL+ Ontologies. In Proc. of the 5th European SemanticWeb Conference, pages 230-244. Springer, 2008.
49. B. Suntisrivaraporn. Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, TU Dresden, 2009.
50. E. Thomas, J. Pan, and Y. Ren. TrOWL: Tractable OWL 2 Reasoning Infrastructure. In Proc. of the Extended Semantic Web Conference. Springer, 2010.
51. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001.
52. D. Tsarkov and I. Horrocks. FaCT++ Description Logic Reasoner: System Description. In Third International Joint Conference on Automated Reasoning, pages 292-297. Springer, 2006.
53. A. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaraporn, and T.Weithöner. DIG 2.0 - Towards a Flexible Interface for Description Logic Reasoners. In Proc. of the OWL Experiences and Directions Workshop at the ISWC, volume 6. Citeseer, 2006.
54. T. Weithöner, T. Liebig, M. Luther, S. Böhm, F. Von Henke, and O. Noppens. Real-World Reasoning with OWL. The Semantic Web: Research and Applications, 4519:296-310, 2007.