A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration

Authors:
Ruliang Xiao;Shengqun Tang
Affiliations:
State Key Lab of Software Engineering, Wuhan University, Wuhan 430072, China and Department of Information & Management, Hunan Finance & Economics College, Changsha 410205, China;State Key Lab of Software Engineering, Wuhan University, Wuhan 430072, China
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Year:
2007

Citing 9
Cited 0

Using JessTab to Integrate Protégé and Jess

IEEE Intelligent Systems
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Ontology Based Context Modeling and Reasoning using OWL

PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
ε-connections of abstract description systems

Artificial Intelligence
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
Context mediation in the semantic web: handling OWL ontology and data disparity through context interchange

SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Ontology-Based user context management: the challenges of imperfection and time-dependence

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

With context unceasingly changing, available information among ontologies of different information sources is often heterogeneous. It is crucial to develop scalable and efficient ontological formalism. This paper presents a categorial context-based formalism with default reasoning, in which context information is extensively considered, and from the category theory point of view, we syncretize default reasoning and make a categorial context extension to description logics (DL) for heterogeneous ontology integration. The core part of the formalism is a categorial context based on the DL, which captures and explicitly represents the information about contexts, and constructs nonmonotonic default reasoning. Based on the formal framework, a prototype is developed based on JESS, RACER and Protégé OWL plugin, which can integrate different ontologies from multiple distributed sources with context information using default reasoning.