Relation grammars and their application to multi-dimensional languages

Crimi, C.; Guercio, Angela; Nota, Giancarlo; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio

doi:10.1016/s1045-926x(05)80003-5

Cited by 31 publications

(11 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches closely related to this one use (constraint) logic or relational formalisms (e.g. [25,26,27,28,29,30]) to represent spatial relationships. Experience has shown (reported by Wittenburg in [29]) that some grammar approaches have limitations (e.g.…”

Section: Related Workmentioning

confidence: 99%

A Fully Formalized Theory for Describing Visual Notations

Haarslev

1998

Visual Language Theory

View full text Add to dashboard Cite

This paper addresses issues in visual language theory with the help of logic formalisms that were developed for reasoning tasks by the artificial intelligence and spatial databases community, especially for spatial and diagrammatical reasoning. We describe an approach based on three formal components. Topology is used to define basic geometric objects. Theory about spatial relations from the domain of spatial databases is employed to define possible relationships between visual language elements. Description logic theory from the AI community is used to combine topology and spatial relations. The resulting theory has been successfully applied to formally specifying semantics of visual languages. The theory's application is illustrated with a specification of entity-relationship diagrams.

show abstract

Section: Related Workmentioning

confidence: 99%

A Fully Formalized Theory for Describing Visual Notations

Haarslev

1998

Visual Language Theory

View full text Add to dashboard Cite

show abstract

“…The establishment of an annum IEEE workshop on visual languages provided another avenue for work on visual grammars. There has been a somewhat fragmented series of alternative frameworks proposed including Positional Grammars (Chang, 1988;Costagliola, Tomita, and Chang, 1991), Picture Layout Grammars (Golin and Reiss, 1989), Constraint Set Grammars (Helm and Mariott, 1991), Relation Grammars (Crimi et al, 1991), and extensions to unification grammars (Wittenburg, Keitzmann, and Talley, 1991;Wittenburg, 1992;. One influence on some recent work in this area has come from constraint logic programming, which is evident in Helm and Marriott's work among others.…”

Section: Visual Languagesmentioning

confidence: 99%

Visual language parsing: If I had a hammer...

Wittenburg

1998

Multimodal Human-Computer Communication

View full text Add to dashboard Cite

Since the 1960s, grammatical formalisms and parsing methods developed originally for natural language strings have been extended to represent and process two-dimensional visual expressions such as mathematics notation and various kinds of diagrams. But despite all of the effort, there has been negligible impact on human-computer interfaces to support visual modes of communication. Why? As with all tech transfer issues, some of the reasons may be beyond a researcher's control. However, I believe that two of the contributing factors in the case of visual language (VL) parsing can and should be addressed by the research field. First, the field needs to consolidate and communicate its results. This is in fact not trivial for higher-dimensional visual language representation and parsing, and I will try to illustrate why. Second, researchers have to look harder for the right application domains. One of the obvious applications is the interpretation of visual language expressions constructed with GUIs. While grammatical representation and parsing may bring something to the table, the problem of interpretation may be solvable with simpler techniques. I will discuss some other application areas and my experience with them: design support, smart screen layout for electronic publishing, and visual focusing for attributed graphs.

show abstract

“…Other work closely related to our approach uses (constraint) logic or relational formalisms (e.g. [19,20,21,22,23,24,25]) for representing spatial relationships. A more detailed review of closely related work on VL theory can be found in [4].…”

Section: Related Workmentioning

confidence: 99%

GenEd-an editor with generic semantics for formal reasoning about visual notations

Haarslev

Wessel²

Proceedings 1996 IEEE Symposium on Visual Languages

View full text Add to dashboard Cite

We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific syntax and semantics are specified by users; (2) built-in parser for actual drawings, driven by formal specifications; (3) powerful reasoning capabilities about diagrams and their specification. GenEd's specification language is based on a fully formalized theory for describing visual notations. Three examples, place-transition petri nets, entity-relationship diagrams, and a small GIS application are presented.

show abstract

Relation grammars and their application to multi-dimensional languages

Cited by 31 publications

References 0 publications

A Fully Formalized Theory for Describing Visual Notations

A Fully Formalized Theory for Describing Visual Notations

Visual language parsing: If I had a hammer...

GenEd-an editor with generic semantics for formal reasoning about visual notations

Contact Info

Product

Resources

About