Single Rule Evaluation (SRE): Computational Algorithmic Debugging for Complex SWRL Rules

Jannik Geyer, Johannes Nguyen, Thomas Farrenkopf, Michael Guckert

2018

Abstract

SWRL is an extension for OWL which allows the use of Horn clause like rules in ontologies. SWRL rules are an expressive instrument for OWL-based ontologies simplifying and augmenting deductive reasoning capabilities. With increasing size and complexity rule bases becomes more and more fragile as logical inconsistencies in the overall structure of the rule base are difficult to find. However, available debugging options require immense manual effort, if not even become an impossible task. Therefore, there is an expressed need for developers and end users to get an efficient and easy to use interactive rule evaluation instrument. In this paper we present a new method for a simplified debugging process that we call Single Rule Evaluation (SRE). This SRE method enables the user to iterate through the reasoning process of the ontology and the set of inference rules and examines each atom of a selected SWRL Rule to deliver detailed information about the inferred output. In addition to a theoretical concept, we present a prototypical implementation of SRE as a Protégé plugin that can be invoked during the modelling process to test rules for consistency.

Paper Citation

in Harvard Style

Geyer J., Nguyen J., Farrenkopf T. and Guckert M. (2018). Single Rule Evaluation (SRE): Computational Algorithmic Debugging for Complex SWRL Rules. In Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 2: KEOD; ISBN 978-989-758-330-8, SciTePress, pages 191-198. DOI: 10.5220/0006924101910198

in Bibtex Style

@conference{keod18,
author={Jannik Geyer and Johannes Nguyen and Thomas Farrenkopf and Michael Guckert},
title={Single Rule Evaluation (SRE): Computational Algorithmic Debugging for Complex SWRL Rules},
booktitle={Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 2: KEOD},
year={2018},
pages={191-198},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006924101910198},
isbn={978-989-758-330-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 2: KEOD
TI - Single Rule Evaluation (SRE): Computational Algorithmic Debugging for Complex SWRL Rules
SN - 978-989-758-330-8
AU - Geyer J.
AU - Nguyen J.
AU - Farrenkopf T.
AU - Guckert M.
PY - 2018
SP - 191
EP - 198
DO - 10.5220/0006924101910198
PB - SciTePress