Using Categorial Context-SHOIQ(D+) DL to Migrate Between the Context-Aware Scenes
An important issue in semantic web ontology application is how to improve ontological evolvement to fit the semantics of the unceasingly changing context. This paper presents a context-based formalism- Context-SHOIQ(D+) DL which is under the frame of SHOIQ(D+) DL, a kind of description logic, from the category theory point of view. The core part of the proposed formalism is a categorial context based on the SHOIQ(D+) DL, that captures and explicitly represents the information about contexts. Additionally, this paper presents some meta languages about reasoning and knowledge representation, finally discusses context-aware migration between different scenes with the categorial Context-SHOIQ(D+)DL.
KeywordsDescription Logic Context Sequence Categorial Context Local Interpretation Context Versus
Unable to display preview. Download preview PDF.
- 4.Wang, X.H., Zhang, D.Q., Gu, T., et al.: Ontology Based Context Modeling and Reasoning using OWL. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops (PERCOMW 2004) (2004)Google Scholar