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

<p>This repository contains the input data for the evaluation presented in the following publication:</p> <blockquote> <p>David Carral, Irina Dragoste, Markus Kr&ouml;tzsch:&nbsp;<strong>The Combined Approach to Query Answering in Horn-ALCHOIQ.</strong>&nbsp;Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).</p> </blockquote> <p>Together with the materials in&nbsp;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> -&nbsp;<strong>input_files_for_Konclude&nbsp;</strong>-&nbsp;input data for the experiments that use&nbsp;Konclude tool<br> -&nbsp;<strong>input_files_for_RDFox&nbsp;</strong>-&nbsp;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> -&nbsp;<strong>RDFox_dependency&nbsp;</strong>-&nbsp;the RDFox reasoner version used in our prototype implementation</p>