Rule-Based Reasoning System for OWL 2 RL Ontologies

In this paper we present a method of transforming OWL 2 ontologies into a set of rules which can be used in a forward chaining rule engine. We use HermiT reasoner to perform the TBox reasoning and to produce classified form of an ontology. The ontology is automatically transformed into a set of Abst...

Full description

Saved in:
Bibliographic Details
Published inComputational Collective Intelligence. Technologies and Applications pp. 404 - 413
Main Authors Bak, Jaroslaw, Jedrzejek, Czeslaw
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2014
SeriesLecture Notes in Computer Science
Subjects
Abstract Syntax
Instantiate Rule
Query Answering
Reasoning Engine
Template Rule
Online AccessGet full text
ISBN9783319112886
3319112880
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-11289-3_41

Cover

More Information
Summary:In this paper we present a method of transforming OWL 2 ontologies into a set of rules which can be used in a forward chaining rule engine. We use HermiT reasoner to perform the TBox reasoning and to produce classified form of an ontology. The ontology is automatically transformed into a set of Abstract Syntax of Rules and Facts. Then, it can be transformed into any forward chaining reasoning engine. We present an implementation of our method using two engines: Jess and Drools. We evaluate our approach by performing the ABox reasoning on the number of benchmark ontologies. Additionally, we compare obtained results with inferences provided by the HermiT reasoner. The evaluation shows that we can perform the ABox reasoning with considerably better performance than HermiT. We describe the details of our approach as well as future research and development.
ISBN:9783319112886
3319112880
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-11289-3_41