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 |
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