A diagrammatic reasoning system for the description logic ALC

Frithjof Dau, Peter Eklund

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogUdefineret/Ukendt
TidsskriftJournal of Visual Languages and Computing
Vol/bind19
Udgave nummer5
Sider (fra-til)539-573
Antal sider35
ISSN1045-926X
StatusUdgivet - 2008

Citationsformater