Re: [OWLAPI-developer] [Anonymous individual]

[Maatari D. O. <ok...@us...>]

It's not easy to query the reasoner about the types for these
individuals, because OWLReasoner only takes named individuals; a trick
that comes to mind is to add sameAs axioms to a named individual and
use that to verify the types are correct, or ask the reasoner for
instances of exist hasDebitor Agent and see if you obl-0 individual
pops out in the results.
HTH,
I.

I didn't really understand the usual trick use to handle anonymous  
individual, could you explain it further?
Cause if i understood you well, wouldn't it just be better for me, to  
find a way to generate unique identifier with respect to my  
application or else
try to use a recommendation that was given to me before as of using  
the following trick
 >>>
Just make the student an instance of "hasTutor some Professor".  The  
result should be equivalent to saying  A hasTutor _:x, and _:x is an  
instance of Professor.
 >>>
On Dec 22, 2011, at 12:56 AM, Ignazio Palmisano wrote:

> It's not easy to query the reasoner about the types for these
> individuals, because OWLReasoner only takes named individuals; a trick
> that comes to mind is to add sameAs axioms to a named individual and
> use that to verify the types are correct, or ask the reasoner for
> instances of exist hasDebitor Agent and see if you obl-0 individual
> pops out in the results.
> HTH,
> I.