Track:
Papers Submitted to the Workshop
Downloads:
Abstract:
This paper summarizes research about a fully implemented logical framework to develop axiomatizations defining meaningful "constellations" of abstract diagrammatical objects. The proposed framework is based on a spatial logic for describing qualitative spatial relationships between objects and on description logic (DL) as specification formalism. The framework was successfully applied to three representative diagrammatic notations: simple entity-relationship (ER) diagrams, placetransition petri nets, and a visual language for concurrent logic programming.