Dataset And Software For Abstraction Materialization Maintenance

Abstraction Refinement is a technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) `abstraction' of this ontology. The corresponding conference paper shows how Abstraction Refinement can be adopted for incremental ABox materialization by combining it with the well-known DRed algorithm for materialization maintenance. The combination is non-trivial and to preserve correctness, already Horn ALCHI requires more complex abstractions. Nevertheless, significant benefits can be obtained for synthetic and real-world ontologies. This data set contains the source code for the implementation as well as the used test data and test runners to reproduce the results reported in the paper.