[Pellet-users] Inference problem

[Role Francois]

(1) > The understanding SWRL series may help
>    http://clarkparsia.com/weblog/category/semweb/rules/swrl/

Thanks. I have looked at these interesting posts. Here is my understanding
at the moment. Please correct me if I am wrong.

In the example in part 2, :mary and :sheevah  will not be found to be
instances of :AncestorOfACreep for the following reason :

If we interpret the rule below  in DL Safe mode

 ancestorOf(?X, ?Z) :- ancestorOf(?X, ?Y), ancestorOf(?Y, ?Z).

then ancestorOf(?X, ?Y) cand "bind" to ancestorOf(mary,akane) or
ancestorOf(sheevah,akane) but ?Z can not bind to anything because no creep
individual has been explicitly named. Therefore :mary and :sheevah can not
be deduced to be instances of :AncestorOfACreep.

(2) >  Yes I wanted to mimic subsomption using rules.
> Note that the rules are DL Safe, so you won't infer a subsumption relation
> between classes.

I used the phrase "mimic subsolmption" because I thougt the rule to be
similar to stating   Boy subClassOf Person. Is that a wrong interpretation
?