Résumé
This repository contains the input data for the evaluation presented in 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). 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. Contents: - input_files_for_Konclude - input data for the experiments that use Konclude tool - input_files_for_RDFox - 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 - RDFox_dependency - the RDFox reasoner version used in our prototype implementation