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]

Abstract

Abstract is missing.