[Pellet-users] question on PelletInfGraph.getDeductionsGraph

[Z Wu]

Hi,

Say I build a PelletInfGraph out of a Jena Graph object and then invoke getDeductionsGraph method.

Does the graph returned has the  inference closure? I 
could not find much documentation on that.
 
Also, it seems that the returned graph does not contain assertions about anonymous restriction classes.
For example, if I define an owl class A to be an
intersection of two restriction classes B and C. 
It would be nice to see, in the deduced graph, 
A is a subClassOf B (and C), in bNode of course.

Is there any option for that to happen?

Thanks, 

Alan Wu


Bijan Parsia <bijan at clarkparsia.com> wrote: On Tue, September 25, 2007 1:09 pm, Role Francois  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.

_______________________________________________
Pellet-users mailing list
Pellet-users at lists.owldl.com
http://lists.owldl.com/mailman/listinfo/pellet-users
_______________________________________________

Sponsored by Clark & Parsia, LLC http://clarkparsia.com/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070926/5355d0eb/attachment.htm