Semantisches Browsen
Aus International Center for Computational Logic
Even for small logic programs, the number … Even for small logic programs, the number of resulting answer-sets can be tremendous. In such cases, users might be incapable of comprehending the space of answer-sets as a whole nor being able to identify a specific answer-set according to their needs. To overcome this difficulty, we propose a general formal framework that takes an arbitrary logic program as input, and allows for navigating the space of answer-sets in a systematic interactive way analogous to faceted browsing. The navigation is carried out stepwise, where each step narrows down the remaining solutions, eventually arriving at a single one. We formulate two navigation modes, one stringent conflict avoiding, and a "free" mode, where conflicting selections of facets might occur. For the latter mode, we provide efficient algorithms for resolving the conflicts. We provide an implementation of our approach and demonstrate that our framework is able to handle logic programs for which it is currently infeasible to retrieve all answer sets.ly infeasible to retrieve all answer sets. +
@inproceedings{ASR2018,
author = {Christian Al-Rabaa and Lukas Schweizer and Sebastian Rudolph},
title = {Faceted Answer-Set Navigation},
editor = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent
and Dumitru Roman},
booktitle = {Rules and Reasoning - Second International Joint Conference,
{RuleML+RR2018,} Luxembourg, September 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11092},
publisher = {Springer},
year = {2018},
month = {September},
pages = {211--225},
doi = {10.1007/978-3-319-99906-7_14}
}
author = {Christian Al-Rabaa and Lukas Schweizer and Sebastian Rudolph},
title = {Faceted Answer-Set Navigation},
editor = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent
and Dumitru Roman},
booktitle = {Rules and Reasoning - Second International Joint Conference,
{RuleML+RR2018,} Luxembourg, September 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11092},
publisher = {Springer},
year = {2018},
month = {September},
pages = {211--225},
doi = {10.1007/978-3-319-99906-7_14}
}
Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings +
Al-Rabaa +
Christian +
Christian Al-Rabaa, Lukas Schweizer, Sebas … Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph<br/> '''[[Inproceedings3047|<b>Faceted Answer-Set Navigation</b>]]''' <br/>__NOTOC__In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., <i>Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings</i>, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3047|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:RR2018-faceted.pdf|Download]]8-faceted.pdf|Download]] +
Christian Al-Rabaa, Lukas Schweizer, Sebas … Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph<br/> '''[[Inproceedings3047/en|<b>Faceted Answer-Set Navigation</b>]]''' <br/>__NOTOC__In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., <i>Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings</i>, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3047|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:RR2018-faceted.pdf|Download]]8-faceted.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.
Faceted Answer-Set Navigation +
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.
9. April 2022, 19:47:48 +
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.