A Combined Approach to Incremental Reasoning for EL Ontologies

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

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

Abstract

Due to the dynamic nature of knowledge and data in semantic applications, ontology incremental reasoning technologies are essential for ontology management systems. Nowadays, many proposed incremental reasoning solutions 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 backslashmathcal EL. Compared to existing work, this approach can be applied 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
Place of PublicationCham
PublisherSpringer International Publishing
Pages167-183
Number of pages17
ISBN (Electronic)978-3-319-45276-0
ISBN (Print)978-3-319-45275-3
DOIs
Publication statusPublished - 26 Aug 2016
EventWeb Reasoning and Rule Systems - 10th International Conference - Aberdeen, United Kingdom
Duration: 9 Sep 201611 Sep 2016
http://www.rr-conference.org/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
Volume9898
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceWeb Reasoning and Rule Systems - 10th International Conference
Abbreviated titleRR 2016
CountryUnited Kingdom
CityAberdeen
Period9/09/1611/09/16
Internet address

Fingerprint

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

Cite this