Volker Haarslev  Home/Search
Context Related
| kogswww.informatik.uni...JVLC99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lkiwww.informatik.unihamburg... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations [Haarslev, 1998a]. However, in this article we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical information systems (GIS). We demonstrate the application of this formalism to specifying semantics of visual query languages for GIS and to ... (Update)
Context of citations to this paper: More
...than ALCRP(D) since it allows qualified number restrictions but also less expressive than ALCRP(D) since it has no defined roles. In [4] we made the first proposal for using ALCRP(D) for reasoning about visual representations. This proposal was extended in [5] by considering...
...roles. In [4] we made the first proposal for using ALCRP(D) for reasoning about visual representations. This proposal was extended in [5] by considering the semantics of visual spatial query languages. In [8] we integrated default reasoning. This paper summarizes our previous...
Cited by: More
On Specifying Semantics of Visual Spatial Query Languages - Haarslev, Möller, Wessel (1999) (Correct)
Visual Spatial Query Languages: A Semantics Using.. - Haarslev, Möller, Wessel (2000) (Correct)
Active bibliography (related documents): More All
0.6: Diagrammatic Representations in Domain-Specific Languages - Tourlas (2000) (Correct)
0.2: Application of Graph Transformation to Visual Languages - Bardohl, Taentzer, Minas.. (1999) (Correct)
0.1: Linda implementations in Java for concurrent systems - Wells, Chalmers, Clayton (2003) (Correct)
Similar documents based on text: More All
0.4: Adding ternary complex roles to ALCRP(D) - A.Kaplunova, Haarslev, Möller (Correct)
0.3: Adapting Optimization Techniques to Description Logics with.. - Turhan, Haarslev (2000) (Correct)
0.3: Description Logic Systems with Concrete Domains.. - Haarslev, Möller (2003) (Correct)
Related documents from co-citation: More All
3: Querying GIS with Animated Spatial Sketches - Haarslev, Wessel - 1997
3: A Decision Method for Elementary Algebra and Geometry (context) - Tarski - 1951
3: A description logic with concrete domains and role-forming predicates - Haarslev, Lutz et al. - 1999
BibTeX entry: (Update)
V. Haarslev. A logic-based formalism for reasoning about visual representations (extended abstract). In Proceedings, AAAI Workshop 17 on Formalizing Reasoning with Visual and Diagrammatic Representations, AAAI Fall Symposium Series 1998, October 23-25, Orlando, Florida/USA. Technical Report FS-98-04, pages 57--66. AAAI Press, 1998. http://citeseer.ist.psu.edu/haarslev98logicbased.html More
@article{ haarslev99logicbased,
author = "Volker Haarslev",
title = "A Logic-based Formalism for Reasoning about Visual Representations",
journal = "Journal of Visual Languages and Computing",
volume = "10",
number = "4",
pages = "421-445",
year = "1999",
url = "citeseer.ist.psu.edu/haarslev98logicbased.html" }
Citations (may not include all citations):28 Constraint multiset grammars (context) - Marriott - 1994
13 GenEd---an editor with generic semantics for formal reasonin.. - Haarslev, Wessel - 1996
7 the classification of visual languages by grammar hierarchie.. - Marriott, Meyer et al. - 1997
2 The CCMG visual language hierarchy (context) - Marriott, Meyer
1 An iconic query language for topological relationships in gi.. (context) - Springer, Berlin et al. - 1995
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC