论文信息 - Benchmarking OWL Reasoners

Benchmarking OWL Reasoners

The growing popularity of semantic applications makes scalability of ontology reasoning tasks increasingly important. In this work, we firstly analyze the ontology landscape on the web, and identify typical clusters of expressivity. Secondly, we benchmark current ontology reasoners, by using representative ontologies for each cluster and a comprehensive set of queries. We point out applicability of specific reasoners to certain expressivity clusters.

R. Volz | Jürgen Bock

[1] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[2] Jeff Heflin,et al. An Evaluation of Knowledge Base Systems for Large OWL Datasets , 2004, SEMWEB.

[3] Volker Haarslev,et al. Querying the Semantic Web with Racer + nRQL , 2004 .

[4] Jeff Heflin,et al. LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[5] James A. Hendler,et al. A Survey of the Web Ontology Landscape , 2006, SEMWEB.

[6] Boris Motik,et al. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes , 2006, LPAR.

[7] Ian Horrocks,et al. Framework for an Automated Comparison of Description Logic Reasoners , 2006, SEMWEB.

[8] C. Maria Keet,et al. Comprehensiveness versus Scalability : guidelines for choosing an appropriate knowledge representation language for bio-ontologies , 2007 .

[9] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[10] Boris Motik,et al. Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.

[11] Thorsten Liebig,et al. Real-World Reasoning with OWL , 2007, ESWC.

[12] Sebastian Rudolph,et al. Complexity Boundaries for Horn Description Logics , 2007, AAAI.

[13] Enrico Motta,et al. Characterizing Knowledge on the Semantic Web with Watson , 2007, EON.