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 proceedingConference contribution

4 Citations (Scopus)

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.
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
PublisherSpringer-Verlag
Pages167-183
Number of pages17
Volume9898 LNCS
ISBN (Electronic)978-3-319-45276-0
ISBN (Print)9783319452753
DOIs
Publication statusPublished - 2016
Event10th International Conference on Web Reasoning and Rule Systems, RR 2016 - Aberdeen, United Kingdom
Duration: 9 Sep 201611 Sep 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

Conference

Conference10th International Conference on Web Reasoning and Rule Systems, RR 2016
CountryUnited Kingdom
CityAberdeen
Period9/09/1611/09/16

Fingerprint

Ontology
Reasoning
Completion
Tractability
Parallelization
Axioms
Semantics
Knowledge

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ren, Y., Pan, J. Z., Guclu, I., & Kollingbaum, M. (2016). A Combined Approach to Incremental Reasoning for EL Ontologies. In M. Ortiz, & S. Schlobach (Eds.), Web Reasoning and Rule Systems: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings (Vol. 9898 LNCS, pp. 167-183). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9898 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-45276-0_13

A Combined Approach to Incremental Reasoning for EL Ontologies. / Ren, Yuan; Pan, Jeff Z.; Guclu, Isa; Kollingbaum, Martin.

Web Reasoning and Rule Systems: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. ed. / Magdalena Ortiz; Stefan Schlobach. Vol. 9898 LNCS Springer-Verlag, 2016. p. 167-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9898 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ren, Y, Pan, JZ, Guclu, I & Kollingbaum, M 2016, A Combined Approach to Incremental Reasoning for EL Ontologies. in M Ortiz & S Schlobach (eds), Web Reasoning and Rule Systems: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. vol. 9898 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9898 LNCS, Springer-Verlag, pp. 167-183, 10th International Conference on Web Reasoning and Rule Systems, RR 2016, Aberdeen, United Kingdom, 9/09/16. https://doi.org/10.1007/978-3-319-45276-0_13
Ren Y, Pan JZ, Guclu I, Kollingbaum M. A Combined Approach to Incremental Reasoning for EL Ontologies. In Ortiz M, Schlobach S, editors, Web Reasoning and Rule Systems: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. Vol. 9898 LNCS. Springer-Verlag. 2016. p. 167-183. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-45276-0_13
Ren, Yuan ; Pan, Jeff Z. ; Guclu, Isa ; Kollingbaum, Martin. / A Combined Approach to Incremental Reasoning for EL Ontologies. Web Reasoning and Rule Systems: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. editor / Magdalena Ortiz ; Stefan Schlobach. Vol. 9898 LNCS Springer-Verlag, 2016. pp. 167-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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",

}

TY - GEN

T1 - A Combined Approach to Incremental Reasoning for EL Ontologies

AU - Ren, Yuan

AU - Pan, Jeff Z.

AU - Guclu, Isa

AU - Kollingbaum, Martin

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84987981876&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-45276-0_13

DO - 10.1007/978-3-319-45276-0_13

M3 - Conference contribution

SN - 9783319452753

VL - 9898 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 167

EP - 183

BT - Web Reasoning and Rule Systems

A2 - Ortiz, Magdalena

A2 - Schlobach, Stefan

PB - Springer-Verlag

ER -