Show simple item record

dc.contributor.convenorBernardo Cuenca Grauen_AU
dc.contributor.authorWang, Zheen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorTopor, Rodneyen_US
dc.contributor.editorB. C. Grau, I. Horrocks, B. Motik, U. Sattleren_US
dc.date.accessioned2017-05-03T15:21:49Z
dc.date.available2017-05-03T15:21:49Z
dc.date.issued2009en_US
dc.date.modified2010-05-24T06:39:16Z
dc.identifier.refurihttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/en_AU
dc.identifier.urihttp://hdl.handle.net/10072/29805
dc.description.abstractWe address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communities, but the existing proposals are restricted in several ways. In this paper we develop a formal framework for revision of DL-Lite KBs, using techniques that are analogous to those for model-based revision in propositional logic. However, unlike propositional logic, a DL-Lite KB can have infinitely many models, which makes it hard to define and compute revision in terms of models. For this reason, we first develop an alternative semantic characterization for DL-Lite by introducing the concept of a feature and then define a specific revision operator for DL-Lite KBs based on features (instead of models). In contrast to previous approaches, we tackle the problem of revision between KBs, and the result of revision is always an unique DL-Lite KB. We also present an algorithm for computing KB revisions in DL-Lite.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent202763 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherCEUR-WS.orgen_US
dc.publisher.placeAachenen_US
dc.publisher.urihttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/en_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename22nd International Workshop on Description Logicsen_US
dc.relation.ispartofconferencetitleProceedings of the 22nd International Workshop on Description Logics (DL 2009)en_US
dc.relation.ispartofdatefrom2009-07-27en_US
dc.relation.ispartofdateto2009-07-30en_US
dc.relation.ispartoflocationOxford, UKen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleRevision of DL-Lite knowledge basesen_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 remains with the authors 2009. The attached file is posted here with permission of the copyright owners for your personal use only. No further distribution permitted. For information about this conference please refer to the publisher's website or contact the authors.en_AU
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