Using Description Logic for Reasoning about Diagrammatical Notations

Volker Haarslev

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.