dc.contributor.author | Wang, Zhe | |
dc.contributor.author | Wang, Kewen | |
dc.contributor.author | Zhang, Xiaowang | |
dc.date.accessioned | 2019-07-04T12:39:53Z | |
dc.date.available | 2019-07-04T12:39:53Z | |
dc.date.issued | 2018 | |
dc.identifier.isbn | 9781577358008 | |
dc.identifier.uri | http://hdl.handle.net/10072/381474 | |
dc.description.abstract | Existential rules, a family of expressive ontology languages, inherit desired expressive and reasoning properties from both description logics and logic programming. On the other hand, forgetting is a well studied operation for ontology reuse, obfuscation and analysis. Yet it is challenging to establish a theory of forgetting for existential rules. In this paper, we lay the foundation for a theory of forgetting for existential rules by developing a novel notion of unfolding. In particular, we introduce a definition of forgetting for existential rules in terms of query answering and provide a characterisation of forgetting by the unfolding. A result of forgetting may not be expressible in existential rules, and we then capture the expressibility of forgetting by a variant of boundedness. While the expressibility is undecidable in general, we identify a decidable fragment. Finally, we provide an algorithm for forgetting in this fragment. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | Association for the Advancement of Artificial Intelligence (AAAI) | |
dc.publisher.place | United States | |
dc.publisher.uri | https://aaai.org/Conferences/conferences.php | |
dc.relation.ispartofchapter | 43933 | |
dc.relation.ispartofconferencename | 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence | |
dc.relation.ispartofconferencetitle | THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE | |
dc.relation.ispartofdatefrom | 2018-02-02 | |
dc.relation.ispartofdateto | 2018-02-07 | |
dc.relation.ispartoflocation | New Orleans, LA | |
dc.relation.ispartofpagefrom | 2013 | |
dc.relation.ispartofpagefrom | 8 pages | |
dc.relation.ispartofpageto | 2020 | |
dc.relation.ispartofpageto | 8 pages | |
dc.subject.fieldofresearch | Artificial intelligence | |
dc.subject.fieldofresearchcode | 4602 | |
dc.title | Forgetting and Unfolding for Existential Rules | |
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.hasfulltext | No Full Text | |
gro.griffith.author | Wang, Kewen | |
gro.griffith.author | Wang, Zhe | |