[Pellet-users] ABox pseudoModel

[Evren Sirin]

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/