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

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

Citationsformater

@article{fd315b780cd147e2a39b370a342856b2,

title = "A diagrammatic reasoning system for the description logic ALC",

author = "Frithjof Dau and Peter Eklund",

year = "2008",

language = "Udefineret/Ukendt",

volume = "19",

pages = "539--573",

journal = "Journal of Visual Languages and Computing",

issn = "1045-926X",

publisher = "Academic Press",

number = "5",

}