Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning
Artificial Intelligence Review
Constraint Matching for Diagram Design: Qualitative Visual Languages
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Creating Semantic Representations of Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Visual language semantics specification in the VisPro system
VIP '02 Selected papers from the 2002 Pan-Sydney workshop on Visualisation - Volume 22
Semantic Annotation and Question Answering of Statistical Graphs
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modeling and querying graphical representations of statistical data
Web Semantics: Science, Services and Agents on the World Wide Web
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
| Hi-index | 0.00 |
This paper describes a new approach to develop formal semantics of visual languages. The proposed framework relies on a spatial logic for describing qualitative spatial relationships between elements of visual languages and on description logic theory. Visual languages that are ideally suited for this approach should be based on geometrical objects such as points, (directed) lines, and convex regions. A prominent feature of our approach is the capability for automatic verification of semantics specifications. The specifications defining our example language, Pictorial Janus, are fully developed and were automatically verified using a representative set of example programs.