Show simple item record

dc.contributor.authorWang, Zheen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorTopor, Rodneyen_US
dc.contributor.authorZhang, Xiaowangen_US
dc.contributor.editorHelder Coelho, Rudi Studer, Michael Wooldridgeen_US
dc.date.accessioned2017-05-03T11:48:49Z
dc.date.available2017-05-03T11:48:49Z
dc.date.issued2010en_US
dc.date.modified2013-05-29T09:24:56Z
dc.identifier.refurihttp://ecai2010.appia.pt/en_US
dc.identifier.doi10.3233/978-1-60750-606-5-47en_US
dc.identifier.urihttp://hdl.handle.net/10072/37747
dc.description.abstractIn this paper, we propose two new approaches to forgetting for [Ascr ][Lscr ][Cscr ] based on the well-known tableau algorithm. The first approach computes the result of forgetting by rolling up tableaux, and also provides a decision algorithm for the existence of forgetting in [Ascr ][Lscr ][Cscr ]. When the result of forgetting does not exist, we provide an incremental method for computing approximations of forgetting. This second approach uses variable substitution to refine approximations of forgetting and eventually obtain the result of forgetting. This approach is capable of preserving structural information of the original ontologies enabling readability and comparison. As both approaches are based on the tableau algorithm, their implementations can make use of the mechanisms and optimization techniques of existing description logic reasoners.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.format.extent198935 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherIOS Pressen_US
dc.publisher.placeAmsterdamen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofconferencenameECAI 2010 - 19th European Conference on Artificial Intelligenceen_US
dc.relation.ispartofconferencetitleECAI 2010 - 19th European Conference on Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2010-08-16en_US
dc.relation.ispartofdateto2010-08-20en_US
dc.relation.ispartoflocationLisbon, Portugalen_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classifieden_US
dc.subject.fieldofresearchcode080199en_US
dc.titleTableau-based Forgetting in ALC 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 2010 IOS Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the publisher website for access to the definitive, published version.en_US
gro.date.issued2010
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