header

Using Provenance to Debug Changing Ontologies

22 Pages Posted: 9 Jul 2018 Publication Status: Accepted

See all articles by Simon Schenk

Simon Schenk

University of Koblenz-Landau - Institute for Web Science and Technologies (WeST)

Renata Dividino

University of Koblenz-Landau - Institute for Web Science and Technologies (WeST)

Steffen Staab

University of Koblenz-Landau - Institute for Web Science and Technologies (WeST); University of Southampton - Faculty of Engineering, Science and Mathematics

Abstract

On the Semantic Web ontologies evolve and are managed in a distributed setting, e.g. in biomedical databases. Changes are contributed by multiple persons or organizations at various points in time. Often, changes differ by certainty or trustworthiness. When judging changes of automatically inferred knowledge and when debugging such evolving ontologies, the provenance of axioms (e.g. agent, trust degree and modification time) needs to be taken into account. Providing and reasoning with rich provenance data for expressive ontology languages, however, is a non-trivial task.

In this paper we propose a formalization of provenance, which allows for the computation of provenance for inferences and inconsistencies. It allows us to answer questions such as “When has this inconsistency been introduced and who is responsible for this change?” as well as “Can I trust this inference?”.

We propose a black box algorithm for reasoning with provenance, which is based on general pinpointing, and an optimization, which enables the use of provenance for debugging in real time even for very large and expressive ontologies, such as used in biomedical portals.

Keywords: SemanticWeb, Provenance, Reasoning, DescriptionLogics, OWL

Suggested Citation

Schenk, Simon and Dividino, Renata and Staab, Steffen, Using Provenance to Debug Changing Ontologies (2011). Journal of Web Semantics First Look 9_3_4, Available at SSRN: https://ssrn.com/abstract=3199523 or http://dx.doi.org/10.2139/ssrn.3199523

Simon Schenk (Contact Author)

University of Koblenz-Landau - Institute for Web Science and Technologies (WeST) ( email )

Universitaetsstrasse 1, Gebäude B
Campus Koblenz
Koblenz, 56070
Germany

Renata Dividino

University of Koblenz-Landau - Institute for Web Science and Technologies (WeST) ( email )

Universitaetsstrasse 1, Gebäude B
Campus Koblenz
Koblenz, 56070
Germany

Steffen Staab

University of Koblenz-Landau - Institute for Web Science and Technologies (WeST) ( email )

Universitaetsstrasse 1, Gebäude B
Campus Koblenz
Koblenz, 56070
Germany

University of Southampton - Faculty of Engineering, Science and Mathematics ( email )

United Kingdom

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Abstract Views
520
Downloads
5
PlumX Metrics