Show simple item record

dc.contributor.convenorAssociation for the Advancement of Artificial Intelligenceen_AU
dc.contributor.authorWang, Zheen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorTopor, Rodneyen_US
dc.contributor.editorMaria Fox and David Pooleen_US
dc.date.accessioned2017-05-03T12:26:01Z
dc.date.available2017-05-03T12:26:01Z
dc.date.issued2010en_US
dc.date.modified2011-06-02T05:08:15Z
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai10.phpen_AU
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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAAAI Pressen_US
dc.publisher.placeUnited Statesen_US
dc.publisher.urihttp://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1786en_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameThe Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10)en_US
dc.relation.ispartofconferencetitleProceedings of the Twenty-fourth AAAI Conference on Artificial Intelligence and the Twenty-second Innovative Applications of Artificial Intelligence Conference, the First Symposium on Educational Advance (AAAI-10)en_US
dc.relation.ispartofdatefrom2010-07-11en_US
dc.relation.ispartofdateto2010-07-15en_US
dc.relation.ispartoflocationAtlanta, Georgia, USAen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchNumerical and Computational Mathematics not elsewhere classifieden_US
dc.subject.fieldofresearchcode010399en_US
dc.titleA New Approach to Knowledge Base Revision in DL-Liteen_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.issued2010
gro.hasfulltextNo Full Text


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