OWL 2 RL Ontology Corpus

This corpus is intended to be used for benchmarking OWL 2 RL reasoners. It contains RL ontologies from three different corpora, and the respective metrics. More information about the different corpora can be found here:http://mowlrepo.cs.manchester.ac.uk/datasets/owl-2-rl-benchmark-corpus/ Filter criteria: * OWL 2 RL * at least 100 TBox axioms Oxford Ontology (Scrape from June 2014) Corpus size: 793 Filtered out, because not enough TBox axioms: 133 Filtered out, because not in OWL 2 RL: 632 Final sample size: 26 BioPortal http://dx.doi.org/10.5281/zenodo.15667 Corpus size: 339 Filtered out, because not enough TBox axioms: 29 Filtered out, because not in OWL 2 RL: 264 Final sample size: 46 MOWLCorp https://zenodo.org/record/16708 Corpus size: 20363 Filtered out, because not enough TBox axioms: 8524 Filtered out, because not in OWL 2 RL: 11155 Final sample size: 666 Please cite: http://www.dblp.org/rec/bibtex/conf/semweb/MatentzogluBP13