LATPub286: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
|Year=2004 | |Year=2004 | ||
|Month= | |Month= | ||
|Booktitle=Proceedings of the 2004 International Workshop on Description Logics ( | |Booktitle=Proceedings of the 2004 International Workshop on Description Logics (DL2004) | ||
|Editor= | |Editor= | ||
|Note= | |Note= | ||
Version vom 20. März 2015, 16:28 Uhr
Mona as a DL Reasoner
E. KarabaevE. Karabaev, C. LutzC. Lutz
E. Karabaev, C. Lutz
Mona as a DL Reasoner
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
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 ordertheories 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},
}
