To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Generating Comprehensible… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Generating Comprehensible Explanations in Description Logic

Conference paper
Authors Fredrik Engström
Abdul Rahim Nizamani
Claes Strannegård
Published in 27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014
ISSN 1613-0073
Publication year 2014
Published at Department of Applied Information Technology (GU)
Department of Philosophy, Linguistics and Theory of Science
Language en
Keywords Description logic, Explanations, Justifications
Subject categories Computer Science, Mathematical logic, Cognitive science


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].

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?