A diagrammatic reasoning system for the description logic ::::I::::

Frithjof Dau, Peter W. Eklund. A diagrammatic reasoning system for the description logic ::::I::::. Journal of Computer Languages, 19(5):539-573, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.