A Diagrammatic Reasoning System for ::::ALC::::

Frithjof Dau, Peter W. Eklund. A Diagrammatic Reasoning System for ::::ALC::::. In Zili Zhang, Jörg H. Siekmann, editors, Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Volume 4798 of Lecture Notes in Computer Science, pages 39-51, Springer, 2007. [doi]

Bibliographies