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: The Combined Approach to Query Answering in Horn-ALCHOIQ. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Further details are described therein. Contents The repository contains the following directories: - input-files: The input files used in the evaluation, both for our method (using RDFox) and for Konclude reasoner. These are partitions of LUMB, Reactome, Uniprot and UOBM ontologies. - RDFox_dependency: The RDFox reasoner used in our prototype implementation