---
res:
  bibo_abstract:
  - "<jats:p>We introduce the notion of contrastive ABox explanations to answer questions
    of the type “Why is a an instance of C, but b is not?”. While there are various
    approaches for explaining positive entailments (why is C(a) entailed by the knowledge
    base) as well as missing entailments (why is C(b) not entailed) in isolation,
    contrastive explanations consider both at the same time, which allows them to
    focus on the relevant commonalities and differences between a and b. We develop
    an appropriate notion of contrastive explanations for the special case of ABox
    reasoning with description logic ontologies, and analyze the computational complexity
    for different variants under different optimality criteria, considering lightweight
    as well as more expressive description logics. We\r\nimplemented a first method
    for computing one variant of contrastive explanations, and evaluated it on generated
    problems for realistic knowledge bases.</jats:p>@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Patrick
      foaf_name: Koopmann, Patrick
      foaf_surname: Koopmann
  - foaf_Person:
      foaf_givenName: Yasir
      foaf_name: Mahmood, Yasir
      foaf_surname: Mahmood
      foaf_workInfoHomepage: http://www.librecat.org/personId=99353
  - foaf_Person:
      foaf_givenName: Axel-Cyrille
      foaf_name: Ngonga Ngomo, Axel-Cyrille
      foaf_surname: Ngonga Ngomo
      foaf_workInfoHomepage: http://www.librecat.org/personId=65716
  - foaf_Person:
      foaf_givenName: Balram
      foaf_name: Tiwari, Balram
      foaf_surname: Tiwari
  bibo_doi: 10.1609/aaai.v40i23.38993
  bibo_issue: '23'
  bibo_volume: 40
  dct_date: 2026^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/2374-3468
  - http://id.crossref.org/issn/2159-5399
  dct_language: eng
  dct_publisher: Association for the Advancement of Artificial Intelligence (AAAI)@
  dct_title: Can You Tell the Difference? Contrastive Explanations for ABox Entailments@
...