[OWLAPI-developer] (no subject)

[abdelhak a. <att...@ho...>]

Hi=20
=20
=20
I am using Fact ++ and the OWLAPI
=20
I have the following class definition=20
=20
Class_A is a subclass of (Object_Property_B value x)
=20
And I have the folwing property chain axiom=20
=20
Object_Property_B    o  Object_property_C   =E0Object_property_A =20
=20
Then I have=20
=20
X  :    Object_property_C    value Y
=20
=20
I should expect that the reasoners infers that=20
=20
Class_A is subclass of (Object_Property_A value Y)
=20
If I define class_temp equivalent to (Object_Property_A value Y) then the r=
easoner can infer that class_temp is a super class of class Class_A, howeve=
r, if I don=92t define class_temp, how can I get the anonymous super class =
(Object_Property_A value Y)
=20
=20
Your help is appreciated=20
=20
=20
Many thanks
=20
Abdelhak
_________________________________________________________________
Telly addicts unite!
http://www.searchgamesbox.com/tvtown.shtml=