Mona as a DL Reasoner

E. KarabaevE. Karabaev, C. LutzC. Lutz

Datei:KarabaevLutzDL04.ps.gz

Download

E. Karabaev, C. Lutz
Mona as a DL Reasoner
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004

Details
Bibtex

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},
}