Show simple item record

dc.contributor.authorWang, Zhe
dc.contributor.authorWang, Kewen
dc.contributor.authorZhang, Xiaowang
dc.date.accessioned2019-07-04T12:39:53Z
dc.date.available2019-07-04T12:39:53Z
dc.date.issued2018
dc.identifier.isbn9781577358008
dc.identifier.urihttp://hdl.handle.net/10072/381474
dc.description.abstractExistential 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.peerreviewedYes
dc.languageEnglish
dc.publisherAssociation for the Advancement of Artificial Intelligence (AAAI)
dc.publisher.placeUnited States
dc.publisher.urihttps://aaai.org/Conferences/conferences.php
dc.relation.ispartofchapter43933
dc.relation.ispartofconferencename32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence
dc.relation.ispartofconferencetitleTHIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
dc.relation.ispartofdatefrom2018-02-02
dc.relation.ispartofdateto2018-02-07
dc.relation.ispartoflocationNew Orleans, LA
dc.relation.ispartofpagefrom2013
dc.relation.ispartofpagefrom8 pages
dc.relation.ispartofpageto2020
dc.relation.ispartofpageto8 pages
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchcode080199
dc.subject.fieldofresearchcode0801
dc.subject.fieldofresearchcode0802
dc.titleForgetting and Unfolding for Existential Rules
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.hasfulltextNo Full Text
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