[Pellet-users] ABox pseudoModel

[Farmakakis Tryfon]

Thanks for the immediate answer!
Suppose I have a concept A defined as A = B or C. Is there a way to tell
from which branch of the definition is the pseudoModel generated?

On Jan 16, 2008 3:33 PM, Evren Sirin <evren at clarkparsia.com> wrote:

> On 1/14/08 6:19 PM, Farmakakis Tryfon wrote:
> > I am trying to retrieve the ABox pseudoModel but the printTree()
> > function prints the completion tree in a very confusing format, that's
> > very hard to understand. Is there any other way to get what I need?
> > (basically the types of every individual in the pseudoModel)
>
> You can iterate through the individuals using ABox.getIndIterator() and
> then get the types via Individual.getTypes(). Here, I'm assuming you
> have a good reason to do that and you know what you are doing. The
> pseduo model is just one of many completions for the original ABox and
> the types in the pseudo model need not be there in all completions (i.e.
> their DependencySet is not empty).
>
> Cheers,
> Evren
> > ------------------------------------------------------------------------
> >
> > _______________________________________________
> > 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/20080116/c7adccbd/attachment.htm