PlumX Metrics
Embed PlumX Metrics

Inconsistency Handling for Partially Preordered Ontologies: Going Beyond Elect

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 1611-3349, Vol: 11775 LNAI, Page: 15-23
2019
  • 2
    Citations
  • 0
    Usage
  • 1
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

Conference Paper Description

We continue investigations into computing repairs for an inconsistent Description Logic (DL) knowledge base (KB). In recent work, a tractable method, called Elect, has been introduced to restore consistency of the ABox w.r.t. the TBox. Elect deals with the case of KBs expressed in DL-Lite and when a partial preorder is applied to the ABox. It has been shown that Elect generalizes the well-known IAR semantics when no priority relation over the ABox is used, and the so-called non-defeated semantics when the relation is a total preorder. In the present paper, we propose two extensions of Elect. First, we redefine Elect by using a preference-based semantics from the literature but with the drawback of losing tractability. Second, we show under which conditions Elect can be generalized to DLs that are more expressive than DL-Lite.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know