DeepAI AI Chat
Log In Sign Up

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

by   Nick Bassiliades, et al.

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.


page 1

page 2

page 3

page 4


Ontology as a Source for Rule Generation

This paper discloses the potential of OWL (Web Ontology Language) ontolo...

Efficient Dependency Analysis for Rule-Based Ontologies

Several types of dependencies have been proposed for the static analysis...

Notation3 as an Existential Rule Language

Notation3 Logic () is an extension of RDF that allows the user to write ...

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 ...

Extended RDF as a Semantic Foundation of Rule Markup Languages

Ontologies and automated reasoning are the building blocks of the Semant...

IfcWoD, Semantically Adapting IFC Model Relations into OWL Properties

In the context of Building Information Modelling, ontologies have been i...

Rewrite Rule Inference Using Equality Saturation

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