[Pellet-users] SWRL rule subclass

[Alexander Musidlowski]

Hi Evren,

thanks for this answer, it saves me a lot of time :)
Just two additional questions. If i have A subclass of B and B
subclass of A, does Pellet return A is equivalent to B, if i ask
reasoner.getEquivalentClasses(A)?
This should be analogue for properties, shouldn´t it?

-- 
Bye
Alex

on Friday, March 14, 2008 at 13:36 Evren Sirin wrote:

> On 3/13/08 1:10 PM, Alexander Musidlowski wrote:
>> Hi,
>>
>> i have an ontology with a rule like A(x) --> B(x), which means A is a
>> subclass of B. If i find such an rule in my ontology, how do i get to
>> know that A is a subclass of B?
>>   

> Pellet will not support this inference because Pellet supports DL-safe
> reasoning with SWRL rules. This means that rules only affect named 
> individuals in the ABox, e.g. you can get new instance relations, but 
> not TBox, i.e. you won't get a new subclass inference. Check out Bijan's
> blog posts about SWRL specifically part 2 which explains DL-safety [1].

>> Does it suffice if i do "reasoner.classify();"? 

> If the relation was entailed it would be enough to ask for reasoner 
> isSubClassOf(A,B) or reasoner.getSubClasses(B).

>> Will this add an OWL
>> statement like
>>
>> <EquivalentClasses>
>>   <OWLClass A/>
>>   <OWLClass B/>
>> </EquivalentClasses>  ?
>>   

> Pellet does not add inferences to the ontology but you can query for 
> them (using the above functions for example).

>> Or do i have to proof this by myself? If this is the case, how can i
>> do this?
>> I´m using the OWL API to work with the rules. Besides i hope this the
>> right list to post this question, if not, tell me.
>>   
> Cheers,
> Evren

> [1] http://clarkparsia.com/weblog/category/semweb/rules/swrl/
>>   
>> ------------------------------------------------------------------------
>>
>> _______________________________________________
>> Pellet-users mailing list
>> Pellet-users at lists.owldl.com
>> http://lists.owldl.com/mailman/listinfo/pellet-users
>> _______________________________________________
>>
>> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/







-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 183 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080317/e8d1e13d/attachment.pgp