[Pellet-users] question on PelletInfGraph.getDeductionsGraph

[Evren Sirin]

On 9/26/07 11:45 AM, Z Wu wrote:
> 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.
It is not possible to return the inference closure of an OWL ontology 
because inference closure is infinite! Note that you can always generate 
infinite number of class expressions (using nested expressions).
>
> 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?
No, there is no such option. See this FAQ entry for more information 
[1]. The workaround is give names to those restrictions.

Hope this helps,
Evren

[1] http://pellet.owldl.com/faq/different-results/
>
> 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/
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/