Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics
From International Center for Computational Logic
Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics
Talk by David Carral
- Location: APB 3027
- Start: 2. November 2016 at 2:50 pm
- End: 2. November 2016 at 3:50 pm
- Research group: Knowledge-Based Systems
- 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.