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]

Authors

Frithjof Dau

This author has not been identified. Look up 'Frithjof Dau' in Google

Peter W. Eklund

This author has not been identified. Look up 'Peter W. Eklund' in Google