Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

DLOG
2000

favoriteEmaildiscussreport

121views Automated Reasoning» more DLOG 2000»

Driving User Interfaces from FaCT

13 years 5 months ago

Driving User Interfaces from FaCT

Download www.comlab.ox.ac.uk

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.

Sean Bechhofer, Ian Horrocks

Real-time Traffic

Application Specific Assertions | Automated Reasoning | DL Reasoning | DLOG 2000 | Limited Expressivity Sits |

claim paper

Related Content

» Learning Key Contexts of Use in the Wild for Driving Plastic User Interfaces Engineering

» Evaluating driver attention and driving behaviour comparing controlled driving and simulat...

» From driving to expressive music performance ensuring tempo smoothness

» UI generation from task domain and user models the DBUSE approach

» ESP A Driving Interface for Expression Synthesis

» Integrated videos and maps for driving directions

» The MetaDESK Models and Prototypes for Tangible User Interfaces

» Design space for driverbased automotive user interfaces

» Cars calls and cognition investigating driving and divided attention

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	2000
Where	DLOG
Authors	Sean Bechhofer, Ian Horrocks

Comments (0)