Name
Abstract | ||
|---|---|---|
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifications for entailments of OWL ontologies. Justifications are minimal subsets of an ontology that are sufficient for an entailment to hold, and are commonly used to debug OWL ontologies. In JustBench, justifications form the key unit of test, which means that individual justifications are tested for correctness and reasoner performance instead of entire ontologies or random subsets. Justifications are generally small and relatively easy to analyse, which makes them very suitable for transparent analytic micro-benchmarks. Furthermore, the JustBench approach also allows us to isolate reasoner errors and inconsistent behaviour. We present the results of initial experiments using JustBench with FaCT++, HermiT, and Pellet. Finally, we show how JustBench can be used by reasoner developers and ontology engineers seeking to understand and improve the performance characteristics of reasoners and ontologies. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/978-3-642-17746-0_3 | International Semantic Web Conference (1) |
Keywords | Field | DocType |
performance analysis,owl reasoner,owl benchmarking,reasoner developer,expressive owl ontology,entire ontology,reasoner error,owl ontology,reasoner performance,performance characteristic,justbench approach | Ontology (information science),Ontology,Data mining,Conjunctive query,Logical consequence,Semantic reasoner,Computer science,Correctness,Description logic,Database,Debugging | Conference |
Volume | ISSN | ISBN |
6496 | 0302-9743 | 3-642-17745-X |
Citations | PageRank | References |
12 | 0.81 | 16 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Samantha Bail | 1 | 106 | 8.03 |
| Bijan Parsia | 2 | 6146 | 429.53 |
| Ulrike Sattler | 3 | 6177 | 478.47 |