[Pellet-users] (no subject)

[abdelhak attou]

Hi 
 
 
 
I have the following class definition 
 
Class_A is a subclass of (Object_Property_B value x)
 
And I have the folwing property chain axiom 
 
Object_Property_B    o  Object_property_C   àObject_property_A  
 
Then I have 
 
X  :    Object_property_C    value Y
 
 
I should expect that the reasoners infers that 
 
Class_A is subclass of (Object_Property_A value Y)
 
If I define class_temp equivalent to (Object_Property_A value Y) then the reasoner can infer that class_temp is a super class of class Class_A, however, if I don’t define class_temp, how can I get the infered anonymous super class (Object_Property_A value Y) of class class_a
 
 
Your help is appreciated 
 
 
Many thanks
 
Abdelhak
_________________________________________________________________
Get Hotmail on your mobile, text MSN to 63463!
http://mobile.uk.msn.com/pc/mail.aspx
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080123/0404df00/attachment-0001.htm