Mona as a DL Reasoner

PublikationenPublications

• Nach AutorBy Author
  • Carsten LutzCarsten Lutz
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Mona as a DL Reasoner

E. KarabaevE. Karabaev,  Carsten LutzCarsten Lutz

Datei:KarabaevLutzDL04.ps.gz

• Download

E. Karabaev, Carsten 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},
}