Semantic cooperation and knowledge reuse by using autonomous ontologies

Authors:
Yuting Zhao;Kewen Wang;Rodney Topor;Jeff Z. Pan;Fausto Giunchiglia
Affiliations:
Griffith University, Australia;Griffith University, Australia;Griffith University, Australia;University of Aberdeen, UK;University of Trento, Italy
Venue:
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Year:
2007

Citing 6
Cited 4

Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

Proceedings of the 2nd international conference on Knowledge capture
Towards Collaborative Environments for Ontology Construction and Sharing

CTS '06 Proceedings of the International Symposium on Collaborative Technologies and Systems
Autonomous ontology: operations and semantics OR local semantics with semantic binding on foreign entity

ASWC'06 Proceedings of the First Asian conference on The Semantic Web

Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Introspective Forgetting

AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
On the decidability of role mappings between modular ontologies

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Learning complex mappings between ontologies

JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. In general, these proposals reduce the autonomy of each ontology by defining the semantics of the ontology to depend on the semantics of the other ontologies. We propose a new framework for managing autonomy in a set of cooperating ontologies (or ontology space). In this framework, each language entity (concept/role/individual) in an ontology may have its meaning assigned either locally with respect to the semantics of its own ontology, to preserve the autonomy of the ontology, or globally with respect to the semantics of any neighbouring ontology in which it is defined, thus enabling semantic cooperation between multiple ontologies. In this way, each ontology has a "subjective semantics" based on local interpretation and a "foreign semantics" based on semantic binding to neighbouring ontologies. We study the properties of these two semantics and describe the conditions under which entailment and satisfiability are preserved. We also introduce two reasoning mechanisms under this framework: "cautious reasoning" and "brave reasoning". Cautious reasoning is done with respect to a local ontology and its neighbours (those ontologies in which its entities are defined); brave reasoning is done with respect to the transitive closure of this relationship. This framework is independent of ontology languages. As a case study, for Description Logic ALCN we present two tableau-based algorithms for performing each form of reasonings and prove their correctness.