Semantisches Browsen
Aus International Center for Computational Logic
We present a unified approach to (both fin … We present a unified approach to (both finite and unrestricted) worst-case optimal entailment of (unions of) conjunctive queries (U)CQs in the wide class of "locally-forward" description logics. The main technique that we employ is a generalisation of Lutz's spoiler technique, originally developed for CQ entailment in ALCHQ. Our result closes numerous gaps present in the literature, most notably implying ExpTime-completeness of (U)CQ-querying for any superlogic of ALC contained in ALCHbregQ, and, as we believe, is abstract enough to be employed as a black-box in many new scenarios.oyed as a black-box in many new scenarios. +
@techreport{B2021,
author = {Bartosz Bednarczyk},
title = {Lutz's Spoiler Technique Revisited: A Unified Approach to
Worst-Case Optimal Entailment of Unions of Conjunctive Queries
in Locally-Forward Description Logics},
institution = {arXiv.org},
year = {2021},
month = {August}
}
author = {Bartosz Bednarczyk},
title = {Lutz's Spoiler Technique Revisited: A Unified Approach to
Worst-Case Optimal Entailment of Unions of Conjunctive Queries
in Locally-Forward Description Logics},
institution = {arXiv.org},
year = {2021},
month = {August}
}
Bednarczyk +
Bartosz +
arXiv.org +
Bartosz Bednarczyk<br /> '''[[Techreport3046|Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics]] … Bartosz Bednarczyk<br /> '''[[Techreport3046|Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics]]''' <br />__NOTOC__Technical Report, ''arXiv.org'', August 2021. ''Technical Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Techreport3046|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BBE-Spoilers2021.pdf|Download]]dia:BBE-Spoilers2021.pdf|Download]] +
Bartosz Bednarczyk<br /> '''[[Techreport3046/en|Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics]] … Bartosz Bednarczyk<br /> '''[[Techreport3046/en|Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics]]''' <br />__NOTOC__Technical Report, ''arXiv.org'', August 2021. ''Technical Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Techreport3046|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BBE-Spoilers2021.pdf|Download]]dia:BBE-Spoilers2021.pdf|Download]] +
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +
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.
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +
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.
2. November 2021, 12:32:26 +
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.
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +, Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +, Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +, Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics + und Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +
