Semantisches Browsen
Aus International Center for Computational Logic
Abstract: We investigate the impact of non … Abstract: We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics. Our primary object of interest is ALCvpl, an extension of ALC with path expressions using visibly-pushdown languages, which was shown to be decidable by Löding et al. in 2007. We prove that decidability of ALCvpl is preserved when enriching the logic with functionality, but decidability is lost upon adding the seemingly innocent Self operator. We also consider the simplest non-regular (visibly-pushdown) language r#s# := {r^n s^n : n ∈ N}. We establish undecidability of the satisfiability problem for ALC extended with nominals and r#s#, as well as the query entailment problem, where such non-regular atoms are present in queries.</br>This work is based on the paper accepted to JELIA 2023, which is going to be submitted to Logical Methods in Computer Science next week.</br></br>The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:</br>https://bbb.tu-dresden.de/b/pio-zwt-smp-austtps://bbb.tu-dresden.de/b/pio-zwt-smp-aus +
Abstract: We investigate the impact of non … Abstract: We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics. Our primary object of interest is ALCvpl, an extension of ALC with path expressions using visibly-pushdown languages, which was shown to be decidable by Löding et al. in 2007. We prove that decidability of ALCvpl is preserved when enriching the logic with functionality, but decidability is lost upon adding the seemingly innocent Self operator. We also consider the simplest non-regular (visibly-pushdown) language r#s# := {r^n s^n : n ∈ N}. We establish undecidability of the satisfiability problem for ALC extended with nominals and r#s#, as well as the query entailment problem, where such non-regular atoms are present in queries.</br>This work is based on the paper accepted to JELIA 2023, which is going to be submitted to Logical Methods in Computer Science next week.</br></br>The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:</br>https://bbb.tu-dresden.de/b/pio-zwt-smp-austtps://bbb.tu-dresden.de/b/pio-zwt-smp-aus +
Datum„Datum <span style="font-size:small;">(Date)</span>“ ist ein <a href="/web/Spezial:Datentypen/Date" title="Spezial:Datentypen/Date">Datentyp</a> für Datumswerte. Er wird Attributen mit Hilfe eines von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> bereitgestellten, softwareseitig fest definierten Attributs (Spezialattribut), zugeordnet.
13. Juli 2023, 11:00:00 +
How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. +
How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. +
Vortrag +
Bartosz Bednarczyk +
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.
How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. +
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.
10. Juli 2023, 19:21:35 +
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.
Keine Attribute verlinken auf diese Seite.
