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

<p>This repository contains the&nbsp;evaluation input data for 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>Further details are described therein.</p> <p><strong>Contents</strong><br> The repository contains the following directories:<br> &nbsp;- <strong>input-files</strong>: The input files used in the evaluation, both for our method (using RDFox) and for Konclude reasoner.<br> These are partitions of LUMB, Reactome, Uniprot and UOBM ontologies.<br> &nbsp;- <strong>RDFox_dependency</strong>: The RDFox reasoner used in our prototype implementation</p>