Show simple item record

dc.contributor.convenorAssociation for the Advancement of Artificial Intelligence
dc.contributor.authorWang, Zhe
dc.contributor.authorWang, Kewen
dc.contributor.authorTopor, Rodney
dc.contributor.editorMaria Fox and David Poole
dc.date.accessioned2017-05-03T12:26:01Z
dc.date.available2017-05-03T12:26:01Z
dc.date.issued2010
dc.date.modified2011-06-02T05:08:15Z
dc.identifier.isbn9781577354642
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai10.php
dc.identifier.urihttp://hdl.handle.net/10072/37302
dc.description.abstractRevising knowledge bases (KBs) in description logics (DLs) in a syntax-independent manner is an important, nontrivial problem for the ontology management and DL communities. Several attempts have been made to adapt classical modelbased belief revision and update techniques to DLs, but they are restricted in several ways. In particular, they do not provide operators or algorithms for general DL KB revision. The key difficulty is that, unlike propositional logic, a DL KB may have infinitely many models with complex (and possibly infinite) structures, making it difficult to define and compute revisions in terms of models. In this paper, we study general KBs in a specific DL in the DL-Lite family. We introduce the concept of features for such KBs, develop an alternative semantic characterization of KBs using features (instead of models), define two specific revision operators for KBs, and present the first algorithm for computing best approximations for syntax-independent revisions of KBs.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeUnited States
dc.publisher.urihttps://aaai.org/Conferences/conferences.php
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename24th AAAI Conference on Artificial Intelligence (AAAI)
dc.relation.ispartofconferencetitlePROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10)
dc.relation.ispartofdatefrom2010-07-11
dc.relation.ispartofdateto2010-07-15
dc.relation.ispartoflocationAtlanta, GA
dc.relation.ispartofpagefrom369
dc.relation.ispartofpagefrom6 pages
dc.relation.ispartofpageto374
dc.relation.ispartofpageto6 pages
dc.relation.ispartofvolume1
dc.rights.retentionY
dc.subject.fieldofresearchNumerical and computational mathematics not elsewhere classified
dc.subject.fieldofresearchcode490399
dc.titleA New Approach to Knowledge Base Revision in DL-Lite
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.date.issued2010
gro.hasfulltextNo Full Text
gro.griffith.authorTopor, Rodney W.
gro.griffith.authorWang, Kewen
gro.griffith.authorWang, Zhe


Files in this item

FilesSizeFormatView

There are no files associated with 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