<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Forgetting for Logic Programs/Existential Rules (Abstract of Invited Talk)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Kewen Wang (collaboration with Zhe Wang)</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Griffith University</institution>
          ,
          <country country="AU">Australia</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2017</year>
      </pub-date>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The notion of forgetting has been investigated extensively for various types of
logic programs. Syntactically, a logic program can be Horn, normal (non-
disjunctive), disjunctive, nested and existential. The semantics for most of such
logic programs is based on either classical semantics or stable models. In this
talk, we will discuss some major approaches to forgetting in logic programming,
especially, the class of existential rules, a family of expressive ontology languages,
which inherit desired expressive and reasoning properties from both description
logics and logic programming. Yet it is challenging to establish a theory of
forgetting for existential rules. We will introduce a theory of forgetting for existential
rules in terms of query answering based a novel notion of 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.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>