[Pellet-Users] SWRL support in Pellet

[Bijan Parsia]

On Oct 2, 2006, at 8:08 PM, Kolovski, Vladimir wrote:

> Hi,
>
> I've just added support for datatype properties in DL-safe rules in  
> Pellet. There are some limitations though:
>  - RETE engine won't work with them (RETE code is bypassed right now)

Translation: There's no optimization whatsoever. Slow. Very slow.  
Unbelievably slow. Avoid variables :)

>  - Variables in rules can only be bound to named individuals, not  
> to data values.

Huh? In what sense do they support datatype atoms then? Only ground  
ones? Isn't that nuts? :)

>  - It's not very well tested.
>
>  If you have some examples rules, I can use them to test it out more.
>
> So, all in all, we support SWRL object property atoms, datatype  
> property atoms, class atoms and individual (in)equality atoms right  
> now.

hungry(X) :- Eater(X), notRecentlyEaten(X, Y) [where recentlyEaten  
has range >1hr].

Is this ok?

Cheers,
Bijan.