Using categorial Context-SHOIQ(D+) DL to migrate between the context-aware scenes

Authors:
Ruliang Xiao;Shengqun Tang;Ling Li;Lina Fang;Youwei Xu;Yang Xu
Affiliations:
State Key Lab of Software Engineering, Wuhan University, Wuhan, China;State Key Lab of Software Engineering, Wuhan University, Wuhan, China;State Key Lab of Software Engineering, Wuhan University, Wuhan, China;State Key Lab of Software Engineering, Wuhan University, Wuhan, China;State Key Lab of Software Engineering, Wuhan University, Wuhan, China;State Key Lab of Software Engineering, Wuhan University, Wuhan, China
Venue:
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Year:
2006

Citing 3
Cited 0

Ontology Based Context Modeling and Reasoning using OWL

PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Towards a mathematical theory of knowledge

Journal of Computer Science and Technology
Description logics in ontology applications

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.