Mona as a DL Reasoner

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Mona as a DL Reasoner

E. KarabaevE. Karabaev,  Carsten LutzCarsten Lutz
E. Karabaev, Carsten Lutz
Mona as a DL Reasoner
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
  • KurzfassungAbstract
    We show how the Mona tool for reasoning in the monadic second order theories WS1S and WS2S can be used to obtain decision procedures for description logics. The performance of this approach is evaluated and compared to the dedicated DL reasoners FaCT and RACER.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ KarabaevLutz-DL2004,
  author = {E. {Karabaev} and C. {Lutz}},
  booktitle = {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  series = {CEUR-WS},
  title = {Mona as a DL Reasoner},
  year = {2004},
}