Conceptual Spider Diagrams

Authors:
Frithjof Dau;Andrew Fish
Affiliations:
University of Wollongong,;University of Brighton, UK
Venue:
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Year:
2008

Citing 12
Cited 2

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine
Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Formalizing Spider Diagrams

VL '99 Proceedings of the IEEE Symposium on Visual Languages
The Expressiveness of Spider Diagrams

Journal of Logic and Computation
A Decidable Constraint Diagram Reasoning System

Journal of Logic and Computation
Automated Theorem Proving in Euler Diagram Systems

Journal of Automated Reasoning
Euler diagram generation

Journal of Visual Languages and Computing
An interactive visual language for term subsumption languages

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Investigating Reasoning with Constraint Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing
Exploring the notion of ‘clutter' in euler diagrams

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference

Euler diagram encodings

Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Syllogisms in Rudimentary Linear Logic, Diagrammatically

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conceptual Graphs are a common knowledge representation system which are used in conjunction with an explicit type hierarchy of the domain. However, this means the interpretation of information expressed in conceptual graphs requires the combined use of information from different sources, which is not always an easy cognitive task. Though it is possible to explicitly represent the type hierarchy with Conceptual Graphs with Cuts, this less natural expression of the type hierarchy information is not as easy to interpret and soon takes up a lot of space. Now, one of the main advantages of Euler diagram-based notations like Spider diagrams is the natural diagrammatic representation of hierarchies. However, Spider diagrams lack facilities such as the ability to represent general relationships between objects which is necessary for knowledge representation tasks. We bring together the most pertinent features of both of these notations, creating a new hybrid notation called Conceptual Spider Diagrams. We provide formal syntax and semantics of this new notation, together with examples demonstrating its capabilities.