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: <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). Further details are described therein. <strong>Contents</strong><br> The repository contains the following directories:<br> - <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> - <strong>RDFox_dependency</strong>: The RDFox reasoner used in our prototype implementation