Originalsprache | Englisch |
---|---|
Titel | Description Logics |
Erscheinungsdatum | 2008 |
Publikationsstatus | Veröffentlicht - 2008 |
A Hybrid Tableau Algorithm for ALCQ.
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
Originalsprache | Englisch |
---|---|
Titel | Description Logics |
Erscheinungsdatum | 2008 |
Publikationsstatus | Veröffentlicht - 2008 |