Outlier detection using disjunctive logic programming,

Assume your general knowledge about the world is encoded in a disjunctive logic program P via Answer Set Semantics. Then, assume you get factual evidence about some aspects of the current status of the world encoded in a second disjunctive logic program, say P'. A fundamental question to be answered is the following: Does the general knowledge encoding P agree with the evidence about the world as encoded in P'? In this paper we first define a formal framework suitable to discuss this question and then illustrate how difficult it is to answer that question.