@inproceedings{4cf1a820467a480b860fa1c07c3defff,
title = "A Combined Approach to Incremental Reasoning for EL Ontologies",
abstract = "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.",
author = "Yuan Ren and Pan, {Jeff Z.} and Isa Guclu and Martin Kollingbaum",
year = "2016",
doi = "10.1007/978-3-319-45276-0_13",
language = "English",
isbn = "9783319452753",
volume = "9898 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "167--183",
editor = "Magdalena Ortiz and Stefan Schlobach",
booktitle = "Web Reasoning and Rule Systems",
note = "10th International Conference on Web Reasoning and Rule Systems, RR 2016 ; Conference date: 09-09-2016 Through 11-09-2016",
}