Question about SWRL semantics

Hi,
I asking this here but feel free to redirect me to some more specific 
resources if it is the case.

I was using SWRL rules in Protégé and I have noticed that SWRL does not 
"view" the relations that can be inferred from OWL.

Is this a feature of SWRL semantics ?
Is is just undefined and "implementation specific" ?
Is it due to the inability of the reasoner (Pellet) to infer too much 
about instances ?

best,
Andrea Splendiani

Received on Monday, 5 December 2005 17:14:52 UTC