Updating Direct Graph for Incremental Reasoning in OWL 2 QL Ontology

We propose an incremental reasoning approach to QL ontologies by mapping an evolving ontology to an updatable digraph and maintaining dynamic transitive closure to obtain incremental classification. We describe the procedure of updating ontology digraph and present an approach to identify the affected paths for incremental classification. We implement the proposed method in a prototype incR and evaluated it on widely-used ontologies. The experiments show that our approach can lead to performance gain.