A diagrammatic reasoning system for the description logic ALC

Frithjof Dau, Peter Eklund

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	Undefined/Unknown
Journal	Journal of Visual Languages and Computing
Volume	19
Issue number	5
Pages (from-to)	539-573
Number of pages	35
ISSN	1045-926X
Publication status	Published - 2008
Externally published	Yes

Cite this

@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",

}