Using Category Theory and SHOIQ(D) DL to Formalize Context
Xinguo Deng · Journal of Chinese Computer Systems · 2007
In order to solve the context-sensitive environmental problem caused by constantly evolving ontology knowledge base and the resources integration,from the point of view of category theory,this paper proposes a context-based formalismContext-SHOIQ(D) which is under the frame of SHOIQ(D),a kind of description logic,then relates its syntax,semantics,and some meta languages about reasoning and knowledge representation,finally discusses a method that implements heterogeneous information integration with this formalization.