Title :
Pushing doors for modeling contexts with OWL DL - a case study
Author :
Turhan, Anni-Yasmin ; Springer, Thomas ; Berger, Michael
Author_Institution :
Technische Univ. Dresden
Abstract :
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typical situations as context concepts in an OWL DL ontology. At run-time OWL individuals form situation descriptions and by use of realization we recognise a certain context. We demonstrate the feasibility of our approach by performance measurements of available highly optimised description logics (DL) reasoners for OWL DL
Keywords :
Internet; formal logic; inference mechanisms; mobile computing; ontologies (artificial intelligence); OWL DL ontology; context modeling; description logics; task driven approach; Automata; Computer aided software engineering; Computer networks; Context modeling; Context-aware services; Intelligent systems; Logic; OWL; Ontologies; Sensor systems;
Conference_Titel :
Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006. Fourth Annual IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
0-7695-2520-2
DOI :
10.1109/PERCOMW.2006.114
