This is a limited proof of concept to search for research data, not a production system.

Search the MIT Libraries

Title: ORE 2014 Reasoner Competition Dataset

Type Dataset Matentzoglu, Nicolas, Parsia, Bijan (2014): ORE 2014 Reasoner Competition Dataset. Zenodo. Dataset. https://zenodo.org/record/10791

Authors: Matentzoglu, Nicolas (University of Manchester) ; Parsia, Bijan (University of Manchester) ;

Links

Summary

The ORE 2014 Reasoner Competition Dataset is a set of ontologies, curated for DL Reasoner benchmarking. All files are serialised as OWL Functional syntax.

More information

  • DOI: 10.5281/zenodo.10791

Subjects

  • ontologies, OWL, benchmark

Dates

  • Publication date: 2014
  • Issued: July 07, 2014

Rights


Much of the data past this point we don't have good examples of yet. Please share in #rdi slack if you have good examples for anything that appears below. Thanks!

Format

electronic resource

Relateditems

DescriptionItem typeRelationshipUri
IsPartOfhttps://zenodo.org/communities/ontologycollections
IsPartOfhttps://zenodo.org/communities/zenodo