Explaining incompatibilities in data dictionary design through abduction

  • Pirri F
  • Pizzuti C
  • 2


    Mendeley users who have this article in their library.
  • 1


    Citations of this article.


Logic programming with abductive reasoning is used during the realization of a data dictionary with a particular methodology. Some methodological steps are represented by means of a set ofrules augmented with integrity constraints which capture the presence of incompatible concepts. Explanations for incompatibility can be inferred by exploiting abductive reasoning. To this end a new proposal for the computation of hypotheses in an abductive framework where the theory is a general logic program, is presented. It is based on a suitable manipulation of minimal three-valued models of the logic program. A method to compute three-valued minimal models of a general logic program is given. © 1994.

Author-supplied keywords

  • Abduction
  • Data dictionary design
  • Explanations
  • Logic programs
  • Three-valued interpretations

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Fiora Pirri

  • Clara Pizzuti

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free