Due to the dynamic nature of knowledge and data in semantic appli- cations, ontology incremental reasoning technologies are essential for ontology management systems. Nowadays, many proposed incremental reasoning solu- tions and implemented systems apply forward chaining completion algorithms to handle the removal and addition of axioms. In this paper, we propose a novel approach to ontology incremental reasoning that combines forward and backward chaining completion for E L. Compared to existing work, this approach can be ap- plied with or without bookkeeping, does not affect parallelisation or tractability, and reduces the effort for re-deriving the over-deleted results both theoretically and empirically.
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||10th International Conference on Web Reasoning and Rule Systems, RR 2016|
|Period||9/09/16 → 11/09/16|