Updating Direct Graph for Incremental Reasoning in OWL 2 QL Ontology.
Changlong Wang, Zhiyong Feng, Guozheng Rao, Xin Wang, Xiaowang Zhang · 2015
Abstract. 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 aected paths for incremental classification. We implement the proposed method in a pro-totype incR and evaluated it on widely-used ontologies. The experiments show that our approach can lead to performance gain.