Show simple item record

dc.contributor.authorZhao, Yutingen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorTopor, Rodneyen_US
dc.contributor.authorPan, Jeffen_US
dc.contributor.authorGiunchiglia, Faustoen_US
dc.contributor.editorKarl Aberer and Philippe Cudre-Maurouxen_US
dc.date.accessioned2017-05-03T14:10:55Z
dc.date.available2017-05-03T14:10:55Z
dc.date.issued2007en_US
dc.date.modified2008-11-25T05:37:56Z
dc.identifier.urihttp://hdl.handle.net/10072/17877
dc.description.abstractSeveral 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent250032 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringer-Verlagen_US
dc.publisher.placeBerlin, Germanyen_US
dc.publisher.urihttp://iswc2007.semanticweb.org/main/default.aspen_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename6th International Semantic Web Conference (ISWC 2007)en_US
dc.relation.ispartofconferencetitleThe Semantic Web : 6th International Semantic Web Conference : 2nd International Asian Semantic Web Conference : ISWC 2007 + ASWC 2007 : Busan, Korea, November 11 - 15, 2007 : Proceedingsen_US
dc.relation.ispartofdatefrom2007-11-11en_US
dc.relation.ispartofdateto2007-11-15en_US
dc.relation.ispartoflocationBusan, Koreaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleSemantic cooperation and knowledge reuse by using autonomous ontologiesen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 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 www.springerlink.com.en_AU
gro.date.issued2007
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record