A Combined Approach to Incremental Reasoning for EL Ontologies

Yuan Ren, Jeff Z. Pan*, Isa Guclu, Martin Kollingbaum

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

7 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems
Subtitle of host publication10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
EditorsMagdalena Ortiz, Stefan Schlobach
Number of pages17
Volume9898 LNCS
ISBN (Electronic)978-3-319-45276-0
ISBN (Print)9783319452753
Publication statusPublished - 2016
Event10th International Conference on Web Reasoning and Rule Systems, RR 2016 - Aberdeen, United Kingdom
Duration: 9 Sept 201611 Sept 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9898 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference10th International Conference on Web Reasoning and Rule Systems, RR 2016
Country/TerritoryUnited Kingdom


Dive into the research topics of 'A Combined Approach to Incremental Reasoning for EL Ontologies'. Together they form a unique fingerprint.

Cite this