ORE 2013 Reasoner Competition

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

Purpose: Reasoner Benchmarks

Source: MOWLCorp, NCIt Version Repository, Oxford Ontology Library

Download URL: Currently unavailable.

Main Publication: Samantha Bail, Birte Glimm, Rafael Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia, 2nd OWL Reasoner Evaluation Workshop (ORE 2013) Report, 2013/8

Date Last Updated: July 2013

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


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

Used in: