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

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\'eg\'e 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.

[1]  Francesca Frontini,et al.  Using SWRL Rules to Model Noun Behaviour in Italian , 2017, LDK.

[2]  Christophe Gravier,et al.  SWRL-Based Context Awareness for Application Servers Hosting Digital Services , 2011, RuleML America.

[3]  Paloma Martínez,et al.  DINTO: Using OWL Ontologies and SWRL Rules to Infer Drug-Drug Interactions and Their Mechanisms , 2015, J. Chem. Inf. Model..

[4]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[5]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[6]  Mieczyslaw M. Kokar,et al.  Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario , 2005, RuleML.

[7]  Newres Al Haider,et al.  A Cross-Platform Benchmark Framework for Mobile Semantic Web Reasoning Engines , 2014, International Semantic Web Conference.

[8]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[9]  Ruben Verborgh,et al.  Using Rule-Based Reasoning for RDF Validation , 2017, RuleML+RR.

[10]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[11]  David Hästbacka,et al.  Context modeling with situation rules for industrial maintenance , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[12]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[13]  John W. Lloyd,et al.  Foundations of Logic Programming, 1st Edition , 1984 .

[14]  Ernest Friedman-Hill,et al.  Jess in action : rule-based systems in Java , 2003 .

[15]  Michael Brückner,et al.  An Ingredient Selection System for Patients Using SWRL Rules Optimization and Food Ontology , 2016, CDVE.

[16]  Leo Obrst,et al.  Translating OWL and semantic web rules into prolog: Moving toward description logic programs , 2007, Theory and Practice of Logic Programming.

[17]  Georgios Meditskos,et al.  A Rule-Based Object-Oriented OWL Reasoner , 2008, IEEE Transactions on Knowledge and Data Engineering.

[18]  Zongmin Ma,et al.  RIF Centered Rule Interchange in the Semantic Web , 2010, DEXA.

[19]  Georgios Meditskos,et al.  SWRL2COOL: Object-Oriented Transformation of SWRL in the CLIPS Production Rule Engine , 2012, SETN.

[20]  Christine Golbreich,et al.  Combining Rule and Ontology Reasoners for the Semantic Web , 2004, RuleML.

[21]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[22]  Visit Hirankitti,et al.  A Meta-reasoning Approach for Reasoning with SWRL Ontologies , .

[23]  María Josefa Somodevilla García,et al.  Deducting Lifestyle Patterns by Ontologies' SWRL Rules , 2015, 2015 26th International Workshop on Database and Expert Systems Applications (DEXA).

[24]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[25]  Vladan Devedzic,et al.  Sharing Ontologies and Rules Using Model Transformations , 2009 .

[26]  Peter F. Patel-Schneider,et al.  A Syntax for Rules in OWL 2 , 2009, OWLED.

[27]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[28]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[29]  Samir Lamouri,et al.  Expressing formal rules within ontology-based models using SWRL: an application to the nuclear industry , 2014 .

[30]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[31]  Adrian Giurca,et al.  Handbook of Research on Emerging Rule-based Languages and Technologies: Open Solutions and Approaches , 2009 .

[32]  Volker Haarslev,et al.  The RacerPro knowledge representation and reasoning system , 2012, Semantic Web.

[33]  Jeff Z. Pan,et al.  Rules and Rule Markup Languages for the Semantic Web , 2003, Lecture Notes in Computer Science.

[34]  José Júlio Alferes,et al.  Principles and Practice of Semantic Web Reasoning , 2004, Lecture Notes in Computer Science.

[35]  Minsu Jang,et al.  Bossam: An Extended Rule Engine for OWL Inferencing , 2004, RuleML.

[36]  Daniel Elenius,et al.  SWRL-IQ: A Prolog-based Query Tool for OWL and SWRL , 2012, OWLED.

[37]  Reza Samavi,et al.  Publishing privacy logs to facilitate transparency and accountability , 2018, J. Web Semant..

[38]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[39]  S. Bechhofer.  The DIG Description Logic Interface : DIG / 1 . 0 , 2002 .

[40]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[41]  Iraklis Paraskakis,et al.  Policy Management and Enforcement Using OWL and SWRL for the Internet of Things , 2017, ADHOC-NOW.

[42]  Benjamin N. Grosof,et al.  Supporting Rule System Interoperability on the Semantic Web with SWRL , 2005, SEMWEB.

[43]  Samson W. Tu,et al.  Developing a Web-Based Application using OWL and SWRL , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.

[44]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..