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.

• Type: Conference
• Year: 2000
• Where: DLOG
• Authors: Sean Bechhofer, Ian Horrocks
• Keywords: Application Specific Assertions, Automated Reasoning, DL Reasoning, DLOG 2000, Limited Expressivity Sits