SWRL2SPIN: A tool for transforming SWRL rule bases in OWL ontologies to object-oriented SPIN rules

01/27/2018
by   Nick Bassiliades, et al.
0

SWRL is a semantic web rule language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages, extending the set of OWL axioms to include Horn-like rules. Being supported by the Protégé ontology editor as well as by popular rule engines and ontology reasoners, such as Jess, Drools and Pellet, SWRL has become a very popular choice for developing rule-based applications on top of ontologies. However, SWRL being around for more than 10 years now, it is most probable that it will never become a W3C standard; therefore, its scope is difficult to reach out to the industrial world. On the other hand, SPIN has become a de-facto industry standard to represent SPARQL rules and constraints on Semantic Web models, building on the widespread acceptance of the SPARQL query language for querying and processing Linked Open Data. In this paper, we argue that the life of existing SWRL rule-based ontology applications can be prolonged by being transformed into SPIN. To this end, we have developed a prototype tool using SWI-Prolog that takes as in-put an OWL ontology with a SWRL rule base and transforms SWRL rules into SPIN rules in the same ontology, taking into consideration the object-oriented scent of SPIN, i.e. linking rules to the appropriate ontology classes as derived by analyzing the rule conditions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/18/2014

Ontology as a Source for Rule Generation

This paper discloses the potential of OWL (Web Ontology Language) ontolo...
research
07/20/2022

Efficient Dependency Analysis for Rule-Based Ontologies

Several types of dependencies have been proposed for the static analysis...
research
08/10/2023

Notation3 as an Existential Rule Language

Notation3 Logic () is an extension of RDF that allows the user to write ...
research
01/08/2023

Semantic rule Web-based Diagnosis and Treatment of Vector-Borne Diseases using SWRL rules

Vector-borne diseases (VBDs) are a kind of infection caused through the ...
research
10/31/2011

Extended RDF as a Semantic Foundation of Rule Markup Languages

Ontologies and automated reasoning are the building blocks of the Semant...
research
11/12/2015

IfcWoD, Semantically Adapting IFC Model Relations into OWL Properties

In the context of Building Information Modelling, ontologies have been i...
research
08/23/2021

Rewrite Rule Inference Using Equality Saturation

Many compilers, synthesizers, and theorem provers rely on rewrite rules ...

Please sign up or login with your details

Forgot password? Click here to reset