Towards a general theory of action and time
Artificial Intelligence
Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Qualitative Geometry for Shape Recognition
Applied Intelligence
A Hybrid Location Model with a Computable Location Identifier for Ubiquitous Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
A Survey of Context-Aware Mobile Computing Research
A Survey of Context-Aware Mobile Computing Research
Context in problem solving: a survey
The Knowledge Engineering Review
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Aggregations and constituents: geometric specification of multi-granular objects
Journal of Visual Languages and Computing
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Granularity as a parameter of context
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
A size-based qualitative approach to the representation of spatial granularity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
| Hi-index | 0.00 |
In this article, a formal approach for modeling central concepts of context-awareness in ubiquitous and mobile computing is introduced. The focus is on an appropriate handling of issues of vagueness and granularity in ubiquitous computing environments. A formalization of perceptual and sensory uncertainty and a characterization of granularity are applied for modeling three central aspects of context-awareness: context as retrieved from sensors, context for representing relevance, and context as unfocussed background information. The notions are developed and demonstrated with respect to the special case of spatial contexts, but are sufficiently general to also cover other types of context. Use of the characterized concepts is motivated with an example of ongoing work on ontology design for ubiquitous computing environments.