Edinburgh Research Explorer

The Impact of Active Domain Predicates on Guarded Existential Rules

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-45276-0_8
Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
EditorsMagdalena Ortiz, Stefan Schlobach
Place of PublicationCham
PublisherSpringer International Publishing
Pages94-110
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 International Publishing
Volume9898
ISSN (Print)0302-9743

Conference

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

Abstract

We claim it is realistic to assume that a database management system provides access to the active domain via built-in relations. Therefore, product databases, i.e., databases that include designated predicates that hold the active domain, form a natural notion that deserves our attention. An important issue then is to look at the consequences of product databases for the expressiveness and complexity of central existential rule languages. We focus on guarded existential rules, and we investigate the impact of product databases on their expressive power and complexity. We show that the queries expressed via (frontier-)guarded rules gain in expressiveness, and in fact, they have the same expressive power as Datalog. On the other hand, there is no impact on the expressiveness of the queries specified via weakly-(frontier-)guarded rules since they are powerful enough to explicitly compute the predicates needed to access the active domain. We also observe that there is no impact on the complexity of the languages in question.

Event

Web Reasoning and Rule Systems - 10th International Conference

9/09/1611/09/16

Aberdeen, United Kingdom

Event: Conference

Download statistics

No data available

ID: 28068373