Semantic cooperation and knowledge reuse by using autonomous ontologies

File Size Format
49807_1.pdf 244Kb Adobe PDF View
Title Semantic cooperation and knowledge reuse by using autonomous ontologies
Author Zhao, Yuting; Wang, Kewen; Topor, Rodney William; Pan, Jeff Z.; Giunchiglia, Fausto
Publication Title The Semantic Web : 6th International Semantic Web Conference : 2nd International Asian Semantic Web Conference : ISWC 2007 + ASWC 2007 : Busan, Korea, November 11 - 15, 2007 : Proceedings
Editor Karl Aberer and Philippe Cudre-Mauroux
Year Published 2007
Place of publication Berlin, Germany
Publisher Springer-Verlag
Abstract Several proposals have been put forward to support distributed agent cooperation in the SemanticWeb, 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.
Peer Reviewed Yes
Published Yes
Publisher URI
Copyright Statement Copyright 2007 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at
ISBN 9783540762973
Conference name 6th International Semantic Web Conference (ISWC 2007)
Location Busan, Korea
Date From 2007-11-11
Date To 2007-11-15
Date Accessioned 2008-03-11
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice