Knosit
Diagrammatic representation and inference by Diagrams 2004 (2004 Cambridge, England) - Knosit