ORE 2014 Reasoner Competition

Home URLhttp://mowlrepo.cs.manchester.ac.uk/datasets/ore-2014/

Purpose: Reasoner Benchmarks

Source: MOWLCorp, Bioportal, Oxford Ontology Library.

Download URL10.5281/zenodo.10791

Main Publication: Currently unavailable

Date Last Updated: 7th July 2014

Description:  The ORE 2014 competition corpus was assembled from the above three sources, filtered and serialised into functional syntax. For details see the upcoming report.


Axioms in ABox (incl. imports) ORE2014 Axioms in ABox ORE2014 Axioms in TBox (incl. imports) ORE2014 Axioms in TBox ORE2014 OWL2 Axiomtypes ORE2014 OWL2 Constructs ORE2014 OWL2 Profiles ORE2014

Used in: