Driving User Interfaces from FaCT
Sean Bechhofer, Ian Horrocks · 2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, with the interface behaviour described using a collection of application specific assertions. DL reasoning is then employed to ensure that the choices offered to the user in expression construction are "reasonable" as well as valid. 1 Introduction An approach for driving user interfaces from a Description Logic (DL) model of the domain is described in [2, 4]. This uses a mechanism called sanctioning, which is an integral part of GRAIL DL implementation [6]. As well as user interface generation, the GRAIL sanctioning mechanism has been used for a range of other purposes, in particular as an aid to knowledge modellers. Although suited to a number of applications, GRAIL provides a limited expressiveness and uses structural subsumption algorithms which are known to be incomplete. In addition, the multiple rol...