Driving User Interfaces from FaCT

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]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[2]  Carole A. Goble,et al.  Using a DL to Drive Query Interfaces , 1997, Description Logics.

[3]  Carole A. Goble,et al.  Guiding the user: an ontology driven interface , 1999, Proceedings User Interfaces to Data Intensive Systems.

[4]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[5]  Carole A. Goble,et al.  TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources , 1998, ISMB.

[6]  Ian Horrocks,et al.  A Proposal for a Description Logic Interface , 1999, Description Logics.