next up previous
Next: References Up: No Title Previous: Related Work

Future Research

We are currently working on specifications for other visual notations (e.g. venn diagrams) that represent mathematical notions. We are planning to incorporate concrete domains over the algebra of simple reals. These concrete domains extend description logic by reasoning about systems of (in)equalities over (non)linear polynomials (see [4] for more details). We also plan to address dynamic semantics of VLs. GenEd might be extended to support specifications of temporal relationships and to visualize VL execution through animations.



Volker Haarslev
Fri May 24 16:47:01 MET DST 1996