[Pellet-Users] SWRL support in Pellet

[Kolovski, Vladimir]

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)
 - Variables in rules can only be bound to named individuals, not to data values.
 - 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.

Cheers,
Vlad

-----Original Message-----
From: pellet-users-bounces at lists.mindswap.org on behalf of Bijan Parsia
Sent: Mon 10/2/2006 12:39 PM
To: Luke Steller
Cc: pellet-users at lists.mindswap.org
Subject: Re: [Pellet-Users] SWRL support in Pellet
 
Well, let's be clear here.

Pellet supports OWL Datatype properties, including user defined  
datatypes.

It does not support SWRL built-ins on those datatypes.

For the SWRL support (i.e., rules in the KB) it varies and I  
forget :) The AL Log certainly supports datatypes on the DL side and  
it would not be difficult to add them to the Datalog side (including  
SWRL Built-ins, because the values will always be ground). The DL  
safe rule support should support datatype atoms, at least, I can't  
think why it wouldn't. Vlad? It does not support the SWRL built-ins,  
but that's probably not *too* bad (I need to think about the  
semantics of the built-ins).

Cheers,
Bijan.

P.S.

On Oct 2, 2006, at 5:13 PM, Luke Steller wrote:

> It does not support datatype properties. Only named Individuals.

This is misleading at best and false otherwise :) It makes it sound  
like Pellet only supports named individuals.


_______________________________________________
Pellet-Users mailing list
Pellet-Users at lists.mindswap.org
http://lists.mindswap.org/mailman/listinfo/pellet-users