Evaluation Input Data For The Combined Approach to Query Answering in Horn-ALCHOIQ

This repository contains the evaluation input data for the following publication:

David Carral, Irina Dragoste, Markus Krötzsch: The Combined Approach to Query Answering in Horn-ALCHOIQ. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

Further details are described therein.

Contents
The repository contains the following directories:
 - input-files: The input files used in the evaluation, both for our method (using RDFox) and for Konclude reasoner.
These are partitions of LUMB, Reactome, Uniprot and UOBM ontologies.
 - RDFox_dependency: The RDFox reasoner used in our prototype implementation