Calculus CL as Ontology Editor and Inference Engine - Lemanski, Jens (Diagrammatic Representation and Inference, 2018)
Keywords: Diagrammatic reasoning; Knowledge Representation; Ontology Visualisation