1 Department of Applied Mathematics and Computer Science, Technical University of Denmark2 Algorithms and Logic, Department of Applied Mathematics and Computer Science, Technical University of Denmark
We present and discuss a diagrammatic visualization and reasoning language coming about by augmenting Euler diagrams with higraphs. The diagrams serve (hierarchical as well as trans-hierarchical) classification and specification of various logical relationships between classes. The diagrams rely on a well-defined underlying class-relationship logic, called CRL, being a fragment of predicate logic. The inference rules at the level of diagrams take form of simple diagrammatic ipso facto rules. The diagrams are intended for computerization by offering navigation and zooming facilities as known from road maps. As such they may facilitate ontological engineering, which often involves larger amounts of data. The underlying inference process is expressible in function-free definite clauses, datalog. We also discuss the relationship to similar diagram and logic proposals.
Visual Reasoning With Diagrams, 2013, p. 83-100
Logic diagrams; Diagrammatic reasoning; Relationships between classes; Logical visualization principles and tools