Semantisches Browsen
Aus International Center for Computational Logic
Existential rules, i.e. Datalog extended w … Existential rules, i.e. Datalog extended with existential quantifiers in rule heads, are currently studied under a variety of names such as Datalog+/–, \exists\forall-rules, and tuple-generating dependencies. The renewed interest in this formalism is fuelled by a wealth of recently discovered language fragments for which query answering is decidable. This paper extends and consolidates two of the main approaches in this field – acyclicity and guardedness – by providing (1) complexity-preserving generalisations of weakly acyclic and weakly (frontier-)guarded rules, and (2) a novel formalism of glut (frontier-)guarded rules that subsumes both. This builds on an insight that acyclicity can be used to extend any existential rule language while retaining decidability. Besides decidability, combined query complexities are established in all cases.complexities are established in all cases. +
@inproceedings{KR2011,
author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
title = {Extending Decidable Existential Rules by Joining Acyclicity and
Guardedness},
editor = {Toby Walsh},
booktitle = {Proceedings of the 22nd International Joint Conference on
Artificial Intelligence (IJCAI 2011)},
publisher = {IJCAI/AAAI},
year = {2011},
month = {July},
pages = {963-968}
}
author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
title = {Extending Decidable Existential Rules by Joining Acyclicity and
Guardedness},
editor = {Toby Walsh},
booktitle = {Proceedings of the 22nd International Joint Conference on
Artificial Intelligence (IJCAI 2011)},
publisher = {IJCAI/AAAI},
year = {2011},
month = {July},
pages = {963-968}
}
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) +
Krötzsch +
Markus +
Additional proofs for this work can be found in the technical report [[Techreport3011/en|Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules]]. +
Markus Krötzsch, Sebastian Rudolph<br/& … Markus Krötzsch, Sebastian Rudolph<br/> '''[[Inproceedings3149|<b>Extending Decidable Existential Rules by Joining Acyclicity and Guardedness</b>]]''' <br/>__NOTOC__In Toby Walsh, eds., <i>Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)</i>, 963-968, July 2011. IJCAI/AAAI<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3149|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:KroetzschRudolph Joint Acyclicity IJCAI 2011.pdf|Download]]KroetzschRudolph Joint Acyclicity IJCAI 2011.pdf|Download]] +
Markus Krötzsch, Sebastian Rudolph<br/& … Markus Krötzsch, Sebastian Rudolph<br/> '''[[Inproceedings3149/en|<b>Extending Decidable Existential Rules by Joining Acyclicity and Guardedness</b>]]''' <br/>__NOTOC__In Toby Walsh, eds., <i>Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)</i>, 963-968, July 2011. IJCAI/AAAI<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3149|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:KroetzschRudolph Joint Acyclicity IJCAI 2011.pdf|Download]]KroetzschRudolph Joint Acyclicity IJCAI 2011.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
28. August 2018, 06:48:14 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness + und Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +
