Show simple item record

dc.contributor.convenorBernardo Cuenca Grau
dc.contributor.authorWang, Z
dc.contributor.authorWang, K
dc.contributor.authorTopor, R
dc.contributor.editorB. C. Grau, I. Horrocks, B. Motik, U. Sattler
dc.date.accessioned2017-05-03T15:21:49Z
dc.date.available2017-05-03T15:21:49Z
dc.date.issued2009
dc.date.modified2010-05-24T06:39:16Z
dc.identifier.issn1613-0073
dc.identifier.refurihttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent202763 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherCEUR-WS.org
dc.publisher.placeAachen
dc.publisher.urihttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename22nd International Workshop on Description Logics
dc.relation.ispartofconferencetitleCEUR Workshop Proceedings
dc.relation.ispartofdatefrom2009-07-27
dc.relation.ispartofdateto2009-07-30
dc.relation.ispartoflocationOxford, UK
dc.relation.ispartofvolume477
dc.rights.retentionY
dc.subject.fieldofresearchInformation systems
dc.subject.fieldofresearchcode4609
dc.titleRevision of DL-Lite knowledge bases
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© The Author(s) 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.
gro.date.issued2009
gro.hasfulltextFull Text
gro.griffith.authorTopor, Rodney W.
gro.griffith.authorWang, Kewen
gro.griffith.authorWang, Zhe


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