[Pellet-users] ABox current Completion

[Farmakakis Tryfon]

Hi,
I am looking for a way to know if the reasoner has switched to a new
completion while answering a query. I've found the
reasoner.getKB().getABox().getPseudomodel().getBranch()
function, but it seems to retrieve always the same number. Does the reasoner
give ids to the completions?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080123/00d3ce73/attachment.htm