Ore 2015 Reasoning Systems
Rafael S. Gonçalves, Nicolas Matentzoglu, Andreas Steigmiller · Zenodo (CERN European Organization for Nuclear Research) · 2016
This dataset contains the executable versions of all reasoning systems that participated in the ORE reasoner competition in 2015. The files are intended purely for use in reasoner benchmarking activities. The open access extends only to this purpose. All individual reasoners in the dataset have their own license restrictions which still apply when a use other than reasoner benchmarking is intended. If you are a reasoner developer and want your reasoner removed, please contact us here (http://owl.cs.manchester.ac.uk/contact/). More information can be found at http://owl.cs.manchester.ac.uk/publications/supporting-material/ore-2015-report/