loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jannik Geyer ; Johannes Nguyen ; Thomas Farrenkopf and Michael Guckert

Affiliation: KITE, Technische Hochschule Mittelhessen, Wilhelm-Leuschner-Straße 13, Friedberg and Germany

Keyword(s): Rule Evaluation, SWRL, OWL, Ontology Debugging.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Human-Machine Cooperation ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Symbolic Systems

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 th eoretical 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.144.95.36

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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) - KEOD; ISBN 978-989-758-330-8; ISSN 2184-3228, SciTePress, pages 191-198. DOI: 10.5220/0006924101910198

@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) - KEOD},
year={2018},
pages={191-198},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006924101910198},
isbn={978-989-758-330-8},
issn={2184-3228},
}

TY - CONF

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