A diagrammatic reasoning system for the description logic ALC

Frithjof Dau, Peter Eklund

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageUndefined/Unknown
JournalJournal of Visual Languages and Computing
Volume19
Issue number5
Pages (from-to)539-573
Number of pages35
ISSN1045-926X
Publication statusPublished - 2008
Externally publishedYes

Cite this