The Combined Approch for Horn-ALHOIQ

This repository contains the evaluation materials 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:

• combined-approach: Maven project with the implementation of our prototype
• output-logs: This folder contains the output logs of our prototype and of Konclude for the experiments described in the evaluation section of our paper.

The input files used in the evaluation, as well as the RDFox reasoner used in our prototype implementation, are available at the following URL: https://zenodo.org/record/7746317#.ZBSgOXbMJik.