Location of Repository

Three important questions arise when using visual languages: for any given piece of information can we draw a diagram representing that information, can we reliably interpret the diagrams and can we reason diagrammatically about that information? The desirable answer to all three questions is yes, but these desires are often conflicting; for example, well-formedness conditions can be enforced to assist diagram interpretation but this can result in drawability problems. In this paper, we focus on visual languages based on closed curves, which are used in numerous computing applications. Many such languages effectively use spatial properties such as containment and disjointness. We consider the consequences of enforcing various well-formedness conditions, such as simplicity and connectedness of minimal regions, in relation to the above questions. We suggest refinements of the conditions in order to find a balance between the conflicting desires

Topics:
G000 Computing and Mathematical Sciences

Publisher: Knowledge Systems Institute

Year: 2006

OAI identifier:
oai:eprints.brighton.ac.uk:3268

Provided by:
University of Brighton Repository

Downloaded from
http://eprints.brighton.ac.uk/3268/1/VLc06-Fish.pdf

- (2005). A decidable constraint diagram reasoning system.
- (2003). A reuse based method of developing the ontology for e-procurement.
- (2005). Abstractions of Euler diagrams.
- (1979). Basic Topology.
- (2005). Collaborative knowledge capture in ontologies.
- (1933). Collected Papers,
- (1997). Constraint diagrams: Visualizing invariants in object oriented modelling.
- (1996). Diagrams and the concept of logical system.
- (2003). Drawing area-proportional Venn and Euler diagrams.
- (2004). Dynamic Euler diagram drawing.
- (1983). Elementary Topology.
- (2004). Ensuring the drawability of Euler diagrams for up to eight sets.
- (2002). Generating Euler diagrams.
- (2004). Generating readable proofs: A heuristic approach to theorem proving with spider diagrams.
- (2004). Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL.
- (2000). JVenn: A visual reasoning system with diagrams and sentences.
- (2003). Layout metrics for Euler diagrams.
- (1995). Logic and Visual Information.
- (2004). On extending Venn diagrams by augmenting names of individuals.
- (1959). On the construction of Venn diagrams.
- (2000). Patching up a logic of Venn diagrams.
- (2005). Precise visual modelling.
- (2004). Propostional statecharts for agent interaction protocols.
- (2004). Reasoning with projected contours.
- (1997). Spatial logic and the complexity of diagrammatic reasoning.
- (2005). Spider diagrams.
- (1994). The Logical Status of Diagrams.
- (2005). The semantics of augmented constraint diagrams.
- (2005). Towards a general solution to drawing area-proportional Euler diagrams.
- (2002). Towards a Visual Editing Environment for the Languages of the Semantic Web.
- (2001). Type-syntax and token-syntax in diagrammatic systems.
- (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.
- (1998). Venn diagrams with few vertices.
- (2003). VennFS: A Venn diagram file manager.
- (1999). Visualization of formal specifications.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.