dc.contributor.convenor | Association for the Advancement of Artificial Intelligence | |
dc.contributor.author | Wang, Zhe | |
dc.contributor.author | Wang, Kewen | |
dc.contributor.author | Topor, Rodney | |
dc.contributor.editor | Maria Fox and David Poole | |
dc.date.accessioned | 2017-05-03T12:26:01Z | |
dc.date.available | 2017-05-03T12:26:01Z | |
dc.date.issued | 2010 | |
dc.date.modified | 2011-06-02T05:08:15Z | |
dc.identifier.isbn | 9781577354642 | |
dc.identifier.refuri | http://www.aaai.org/Conferences/AAAI/aaai10.php | |
dc.identifier.uri | http://hdl.handle.net/10072/37302 | |
dc.description.abstract | Revising 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | AAAI Press | |
dc.publisher.place | United States | |
dc.publisher.uri | https://aaai.org/Conferences/conferences.php | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | 24th AAAI Conference on Artificial Intelligence (AAAI) | |
dc.relation.ispartofconferencetitle | PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10) | |
dc.relation.ispartofdatefrom | 2010-07-11 | |
dc.relation.ispartofdateto | 2010-07-15 | |
dc.relation.ispartoflocation | Atlanta, GA | |
dc.relation.ispartofpagefrom | 369 | |
dc.relation.ispartofpagefrom | 6 pages | |
dc.relation.ispartofpageto | 374 | |
dc.relation.ispartofpageto | 6 pages | |
dc.relation.ispartofvolume | 1 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Numerical and computational mathematics not elsewhere classified | |
dc.subject.fieldofresearchcode | 490399 | |
dc.title | A New Approach to Knowledge Base Revision in DL-Lite | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.date.issued | 2010 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Topor, Rodney W. | |
gro.griffith.author | Wang, Kewen | |
gro.griffith.author | Wang, Zhe | |