Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2010/paper/192> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 192 creator bijan-parsia.
- 192 creator samantha-bail.
- 192 creator ulrike-sattler.
- 192 type InProceedings.
- 192 label "JustBench: A Framework for OWL Benchmarking".
- 192 sameAs 192.
- 192 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.".
- 192 hasAuthorList authorList.
- 192 isPartOf proceedings.
- 192 keyword "semantic web".
- 192 title "JustBench: A Framework for OWL Benchmarking".