Unknown

Dataset Information

0

The OWL Reasoner Evaluation (ORE) 2015 Competition Report.


ABSTRACT: The OWL Reasoner Evaluation competition is an annual competition (with an associated workshop) that pits OWL 2 compliant reasoners against each other on various standard reasoning tasks over naturally occurring problems. The 2015 competition was the third of its sort and had 14 reasoners competing in six tracks comprising three tasks (consistency, classification, and realisation) over two profiles (OWL 2 DL and EL). In this paper, we discuss the design, execution and results of the 2015 competition with particular attention to lessons learned for benchmarking, comparative experiments, and future competitions.

SUBMITTER: Parsia B 

PROVIDER: S-EPMC6044265 | biostudies-literature | 2017

REPOSITORIES: biostudies-literature

altmetric image

Publications

The OWL Reasoner Evaluation (ORE) 2015 Competition Report.

Parsia Bijan B   Matentzoglu Nicolas N   Gonçalves Rafael S RS   Glimm Birte B   Steigmiller Andreas A  

Journal of automated reasoning 20170221 4


The OWL Reasoner Evaluation competition is an annual competition (with an associated workshop) that pits OWL 2 compliant reasoners against each other on various standard reasoning tasks over naturally occurring problems. The 2015 competition was the third of its sort and had 14 reasoners competing in six tracks comprising three tasks (consistency, classification, and realisation) over two profiles (OWL 2 DL and EL). In this paper, we discuss the design, execution and results of the 2015 competit  ...[more]

Similar Datasets

| S-EPMC5737627 | biostudies-literature
| S-EPMC9726927 | biostudies-literature
| S-EPMC3997414 | biostudies-literature
| S-EPMC5053227 | biostudies-literature
| S-EPMC9259582 | biostudies-literature
| PRJNA982779 | ENA
| S-EPMC4408092 | biostudies-literature
| S-EPMC5551435 | biostudies-other
| S-EPMC7009912 | biostudies-literature
| S-EPMC8888918 | biostudies-literature