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: <strong>The Combined Approach to Query Answering in Horn-ALCHOIQ.</strong> 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.<br> <br> Contents:<br> - <strong>input_files_for_Konclude </strong>- input data for the experiments that use Konclude tool<br> - <strong>input_files_for_RDFox </strong>- 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<br> - <strong>RDFox_dependency </strong>- the RDFox reasoner version used in our prototype implementation