摘要: Three important questions arise when using visual languages: for any given piece of information can we draw a diagram representing that information, reliably interpret the diagrams and reason diagrammatically about information? The desirable answer to all three is yes, but these desires are often conflicting; example, well-formedness conditions be enforced assist interpretation this result in drawability problems. In paper, focus on languages based closed curves, which used numerous computing applications. Many such effectively use spatial properties as containment disjointness. We consider consequences enforcing various conditions, simplicity connectedness minimal regions, relation above questions. suggest refinements order find balance between conflicting desires.
brighton.ac.uk参考文章(26)
Oliver Lemon, I Pratt, Spatial logic and the complexity of diagrammatic reasoning Machine graphics & vision. ,vol. 6, pp. 89- 108 ,(1997)
Chris John, Reasoning with Projected Contours Lecture Notes in Computer Science. pp. 147- 150 ,(2004) , 10.1007/978-3-540-25931-2_15
Yuxiao Zhao, Johan Lövdahl, A reuse-based method of developing the ontology for e-procurement 2nd Nordic Conference on Web Services (NCWS), Växsjö, Sweden, Nov 20-21, 2003. pp. 101- 112 ,(2003)
Hajime Sawamura, Kensuke Kiyozuka, JVenn: A Visual Reasoning System with Diagrams and Sentences Lecture Notes in Computer Science. pp. 271- 285 ,(2000) , 10.1007/3-540-44590-0_25
P. Rodgers, P. Mutton, J. Flower, Dynamic Euler Diagram Drawing symposium on visual languages and human-centric computing. pp. 147- 156 ,(2004) , 10.1109/VLHCC.2004.21
Jean Flower, Judith Masthoff, Gem Stapleton, Generating readable proofs: A heuristic approach to theorem proving with spider diagrams Lecture Notes in Computer Science. pp. 166- 181 ,(2004) , 10.1007/978-3-540-25931-2_17
Jean Flower, John Howse, Generating Euler Diagrams Diagrammatic Representation and Inference. pp. 61- 75 ,(2002) , 10.1007/3-540-46037-3_6
Eric M. Hammer, Logic and Visual Information ,(1995)
Sun-Joo Shin, The Logical Status of Diagrams ,(2009)
Stirling Chow, Frank Ruskey, Drawing Area-Proportional Venn and Euler Diagrams graph drawing. pp. 466- 477 ,(2003) , 10.1007/978-3-540-24595-7_44