Explaining and Repairing Description Logic Ontologies

author: Francesco Kriegel, Dresden University of Technology
author: Patrick Koopmann, Vrije Universiteit Amsterdam (VU)
author: Franz Baader, Leibniz Institute for Solid State and Materials Research (IFW) Dresden
published: Sept. 1, 2023,   recorded: August 2023,   views: 0

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.
  Delicious Bibliography

 Watch videos:   (click on thumbnail to launch)

Watch Part 3
Part 3 1:21:52
!NOW PLAYING
Watch Part 4
Part 4 1:15:57
!NOW PLAYING

Description

Like all large human-made digital artefacts, ontologies written in the Web Ontology Language OWL may contain errors, which are often detected when reasoning finds an inconsistency or generates consequences that are either unexpected or seem incomplete. In order to decide whether such a reasoning result really points to an error, the users need to be able to understand its derivation. Once they have determined that there is indeed an error in the ontology, they need help in repairing this error. After an introduction into ontology languages based on Description Logics, with an emphasis on the tractable DL EL, the course will describe classical explanation and repair methods employing axiom pinpointing. Then it will consider more sophisticated explanation approaches using proofs to explain consequences and abduction to explain non-consequences. Finally it describes repair methods that preserve more consequences than the classical ones.

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

make sure you have javascript enabled or clear this field: