A Modeling and Reasoning Approach Using Description Logic for Context-Aware Pervasive Computing

Abstract

The paper proposes an approach to modeling and reasoning through the context-aware knowledge using Description Logic to solve the problems such as model uncertainty and lack of automatic reasoning technique for context-aware computing. It first suggests a context model framework which models the context with a two-level structure, Meta Ontology and Domain-specific Ontology, to capture the concepts expressed in different abstract hierarchy. Then an algorithm is provided to convert the context model into the knowledge in the form of Description Logic SHOIN(D). A case study is given to illustrate the practicality of the method. The advantage of the method is that it can provide a flexible modeling mechanism with an automatic reasoning technique for multiple applications of context-aware pervasive computing. © Springer-Verlag Berlin Heidelberg 2012.