Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics

Wael YehiaWael Yehia, Hongkai LiuHongkai Liu, Marcel LippmannMarcel Lippmann, Franz BaaderFranz Baader, Mikhail SoutchanskiMikhail Soutchanski

Download

Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL-2012), volume 846 of CEUR Workshop Proceedings, June 2012. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
In the reasoning about actions community, one of the most basic reasoning problems is the projection problem: the question whether a certain assertion holds after executing a sequence of actions. While undecidable for general action theories based on the situation calculus, the projection problem was shown to be decidable in two different restrictions of the situation calculus to theories formulated using description logics. In this paper, we compare our implementations of projection procedures for these two approaches on random testing data for several realistic application domains. Important contributions of this work are not only the obtained experimental results, but also the approach for generating test cases. By using patterns extracted from the respective application domains, we ensure that the randomly generated input data make sense and are not inconsistent.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ YeLiLi-DL-12,
  address = {Rome, Italy},
  author = {Wael {Yehia} and Hongkai {Liu} and Marcel {Lippmann} and Franz {Baader} and Mikhail {Soutchanski}},
  booktitle = {Proceedings of the 25th International Workshop on Description Logics ({DL-2012})},
  editor = {Yevgeny {Kazakov} and Domenico {Lembo} and Frank {Wolter}},
  month = {June},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics},
  volume = {846},
  year = {2012},
}