Originalsprog | Udefineret/Ukendt |
---|---|
Tidsskrift | Journal of Visual Languages and Computing |
Vol/bind | 19 |
Udgave nummer | 5 |
Sider (fra-til) | 539-573 |
Antal sider | 35 |
ISSN | 1045-926X |
Status | Udgivet - 2008 |
A diagrammatic reasoning system for the description logic ALC
Frithjof Dau, Peter Eklund
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review