Building Heterogeneous Multi-context Systems by Semantic Bindings

Bibliographic Details
Title: Building Heterogeneous Multi-context Systems by Semantic Bindings
Authors: Zhao, Yuting, Wang, Kewen, Topor, Rodney, Pan, Jeff Z., Giunchiglia, Fausto
Publication Year: 2009
Collection: University of Trento: unitn.it eprints
Subject Terms: QA076.7 Programming Languages - Semantics
Description: We propose a framework for heterogeneous multi-context systems, in which a special kind of semantic/implicit bridge rules are introduced. Traditional bridge rules in heterogeneous multi-context systems may make the syntax and the semantics of a context more complex, e.g., in the approach of [3] an agent may have to facing a context composed by a description logic systems and a logic program with default negations. In this paper we hide the bridge rules by semantic binding on foreign knowledge fragment, and track the semantic property of a belief/knowledge in one context by a mirror-image of it in the other context. This framework can manage heterogeneous multi-contexts in a simple way, and it keeps the original reasoning properties of the context so that the original reasoning tools are still useful.
Document Type: report
File Description: application/pdf
Language: unknown
Relation: http://eprints.biblio.unitn.it/1653/1/043.pdf; Zhao, Yuting and Wang, Kewen and Topor, Rodney and Pan, Jeff Z. and Giunchiglia, Fausto (2009) Building Heterogeneous Multi-context Systems by Semantic Bindings. UNSPECIFIED. (In Press)
Availability: http://eprints.biblio.unitn.it/1653/
http://eprints.biblio.unitn.it/1653/1/043.pdf
Accession Number: edsbas.B8A4CA0A
Database: BASE
Description
Description not available.