Show simple item record

dc.contributor.authorAntoniou, Grigorisen_US
dc.contributor.authorTopor, Rodneyen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorWang, Zheen_US
dc.contributor.authorZ. Pan, Jeffen_US
dc.contributor.editorA. E. Nicholson, X. Lien_US
dc.date.accessioned2017-04-04T21:31:24Z
dc.date.available2017-04-04T21:31:24Z
dc.date.issued2009en_US
dc.date.modified2010-08-20T06:28:35Z
dc.identifier.refurihttp://www.infotech.monash.edu.au/about/news/conferences/ai09/en_AU
dc.identifier.doi10.1007/978-3-642-10439-8_53en_AU
dc.identifier.urihttp://hdl.handle.net/10072/31918
dc.description.abstractThe notion of uniform interpolation for description logic ALC has been introduced in the literature. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for ALC . Our results have been used to compute forgetting for ALC knowledge bases.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent115859 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringer Verlagen_US
dc.publisher.placeBerlinen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename22nd Australasian Joint Conference on Artificial Intelligenceen_US
dc.relation.ispartofconferencetitleAI 2009: Advances in Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2009-12-01en_US
dc.relation.ispartofdateto2009-12-04en_US
dc.relation.ispartoflocationMelbourne, Australiaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleUniform Interpolation for ALC Revisiteden_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.date.issued2009
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