[Pellet-users] Swrl

[Michael Smith]

On Thu, 2008-05-29 at 10:00 -0300, Alex Pinheiro das Graças wrote:

> I have begun a simple swrl example, to view it working at pellet. I
> started doing a simple family example.
> I am using protege, to do this model, and conecting to pellet through
> DIG. 
> I activate the SWRLTab and write the rules, but when I ask to Protege
> to infer I don't get anything.

If you are using DIG, this is not surprising.  DIG 1.x is much less
expressive than OWL DL, so the conversion is lossy.  Adding SWRL further
widens expressivity gap between your ontology and what the reasoner is
seeing.

> I'd like to know if is need to do some change in the protege
> setttings, to infer SWRL.

I believe that Protege 3.4 offers a direct Pellet integration mode (not
via DIG), but the details of configuring that are more appropriate for
the Protege list.

Protege 4.x supports Pellet directly (using the OWLAPI interface) and is
likely to give you much better integration and results.

> And even in the example I have found I realize that the properties
> infered via swrl wasn't showed at the protege.
> It's correct?

With Protege 3.x you may have more luck exporting RDF/XML and using
Pellet from the command line.

I suggest taking a look at Protege 4.

Regards,
-- 
Mike Smith

Clark & Parsia