Evaluation input for The Combined Approach to Query Answering in Horn-ALCHOIQ (Carral, Dragoste, Krötzsch, in proceedings of KR 2018)

This repository contains the input data for the evaluation presented in 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).

Together with the materials in https://github.com/knowsys/eval-combined-approach-horn-alchoiq, the input data here provides all the necessary tools and datasets to reproduce the experiments described in this paper.

Contents:
- input_files_for_Konclude - input data for the experiments that use Konclude tool
- input_files_for_RDFox - input data for the experiments that use our prototype (https://github.com/knowsys/eval-combined-approach-horn-alchoiq/tree/master/combined-approach), which is based on RDFox tool
- RDFox_dependency - the RDFox reasoner version used in our prototype implementation