资源论文Data Repair of Inconsistent DL-Programs? Thomas Eiter and Michael Fink and Daria Stepanova

Data Repair of Inconsistent DL-Programs? Thomas Eiter and Michael Fink and Daria Stepanova

2019-11-11 | |  52 |   36 |   0
Abstract Nonmonotonic Description Logic (DL) programs support rule-based reasoning on top of Description Logic ontologies, using a well-defined query interface. However, the interaction of the rules and the ontology may cause inconsistency such that no answer set (i.e. model) exists. We thus consider repairing DL-programs, i.e., changing formulas to obtain consistency. Viewing the data part of the ontology as the source of inconsistency, we define program repairs and repair answer sets based on changes to it. We analyze the complexity of the notion, and we extend an algorithm for evaluating DL-programs to compute repair answer sets, under optional selection of preferred repairs. The extension involves a generalized ontology repair problem, in which the entailment and non-entailment of sets of queries with updates to the ontology must be achieved. While this is intractable in general, we identify for the Description Logic DL-Lite A some tractable classes of preferred repairs that are useful in practice.

上一篇:A Formal Account of Nondeterministic and Failed Actions James P. Delgrande Hector J. Levesque

下一篇:FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...