Re: SWRL Implementations

The SWRLTab in the current Protege-OWL 3.4 beta supports most of the  
core SWRL built-ins [1] and has an expanding set of other built-in  
libraries [2]. Protege 3.4 has a SWRL/RDF parser; Protege 4 alpha also  
has a SWRL/OWLX parser, though the SWRLTab will not be available in  
Protege 4 for several months. The SWRLTab also has a SWRL-based OWL  
query language called SQWRL [3]. All SWRLTab functionality is  
accessible through a fully documented set of Java APIs [4].

The SWRLTab performs inference using a Jess back end and while the  
implementation supports nearly all of SWRL it does not consider all  
OWL axioms during inference. However, the latest Protege-OWL 3.4 beta  
also has a direct connection to the Pellet reasoner, which has a much  
more formally sound implementation of SWRL, and is also under active  
development. However, Pellet has limited built-in support.

I'm superficially familiar with the other systems you mention but I do  
not know them in enough detail to answer your questions. Perhaps  
others here can.

Martin O'Connor

[1] http://protege.cim3.net/cgi-bin/wiki.pl?CoreSWRLBuiltIns
[2] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTabBuiltInLibraries
[3] http://protege.cim3.net/cgi-bin/wiki.pl?SQWRL
[4] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab

Quoting Somaya Aboulwafa <somaya.ahmad@gmail.com>:

> Hi,
>
>  I have recognized some swrl implementations like Pellet, Bossam, KOAN2,
> RacerPro, SweetRules (Jena2 rules), SWRLJessTAB (in protege), R2ML(REWERSE).
> And i need to choose one that have the following features:
>
> 1- Applies most features of SWRL, like (SWRL/OWLX Parser, SWRL/RDF Parser,
> SWRL Math Built-Ins, SWRL String Built-Ins, SWRL Comparison Built-Ins, SWRL
> Boolean Built-Ins, SWRL Date, Time and Duration Built-Ins, etc.). I know
> that almost all of the above implemenattion takes only a decidable frgment
> of SWRL. but i need the one that takes the largest fragment without going
> through the decidability problem.
> 2- Reliable resoning; no need for manual checking of the results.
> 3- Java API where i can use it from within java applications.
>
> Thanks and regards,
> Somaya
>

Received on Monday, 19 November 2007 13:33:11 UTC