Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics
Aus International Center for Computational Logic
Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics
Vortrag von David Carral
- Veranstaltungsort: APB 3027
- Beginn: 2. November 2016 um 14:50
- Ende: 2. November 2016 um 15:50
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: KBS Seminar
- iCal
Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the chase algorithm. In this presentation, we will introduce a novel acyclicity notion which provides a sufficient condition for termination of the restricted chase over Horn-SRIQ TBoxes. We also show that this notion generalizes most existing acyclicity conditions (both theoretically and empirically). Furthermore, this new acyclicity notion gives rise to a very efficient reasoning procedure. We provide evidence for this by providing a materialization based reasoner for acyclic ontologies which outperforms state-of-the-art systems.
