Generating Comprehensible Explanations in Description Logic
Paper i proceeding, 2014

We propose a method for generating comprehensible explanations in description logic. Such explanations could be of potential use for e.g. engineers, doctors, and users of the semantic web. Users commonly need to understand why a logical statement follows from a set of hypotheses. Then, automatically generated explanations that are easily understandable could be of help. A proof system for description logic that can be used for generating comprehensible explanations is proposed. Similar systems have been proposed for propositional logic [30] and first-order logic [28].

Explanations

Justifications

Description logic

Författare

Fredrik Engström

Göteborgs universitet

Abdul Rahim Nizamani

Göteborgs universitet

Claes Strannegård

Göteborgs universitet

Chalmers, Tillämpad informationsteknologi, Kognition och kommunikation

CEUR Workshop Proceedings

16130073 (ISSN)

Vol. 1193 530-542

Ämneskategorier

Algebra och logik

Psykologi (exklusive tillämpad psykologi)

Datavetenskap (datalogi)