[Pellet-users] Inference problem

[Bijan Parsia]

On Tue, September 25, 2007 1:09 pm, Role Francois <francois.role at univ-paris5.fr> said:

>> Recheck your Java code and I think you will find that Pellet gave you
>> exactly what you asked it for about Pierre. :)
> 
> Sorry. I indeed mistook parent for uncle...  Thanks. It works now.
> 
>> You may already be aware of this and simply testing rules, but your
>> second rule (A Boy is a Person) is expressible in plain OWL withou
> 
> 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.

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

You also will miss things that aren't obvious. For example, if you have a dl safe rule that fathers are parents, and bob has a father (just expressed as an existential) you won't infer that bob has a parent. Whereas the SWRL variant (or the DL axoim varient) will do that.

Cheers,
Bijan.