Kim Marriott;Atsushi Shimojima;Alan Blackwell
-;-;-
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing