Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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.  +
Sebastian Rudolph +, Lukas Schweizer +  und Christian Al-Rabaa +
@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}
}
Inproceedings  +
Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings  +
10.1007/978-3-319-99906-7_14  +
RR2018-faceted.pdf  +
Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman  +
Christian  +
September  +
211--225  +
Christian Al-Rabaa, Lukas Schweizer, SebasChristian 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, SebasChristian 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]]  +
Springer  +
Lecture Notes in Computer Science  +
Faceted Answer-Set Navigation  +
inproceedings  +
11092  +
2018  +
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.