RE: [DIG-users] Individual types query

[Dickinson, I. J. (HP L. B. UK) <ian...@hp...>]

Sean -=20
What does FaCT do with <types>?  To get Racer's DIG interface to support =
Jena's contract, I will need to <ask> for the ancestors of each of the =
concepts returned from <types>.  If FaCT does the same, I can just =
change my code.  If FaCT returns all of the concepts and their =
ancestors, I'll need to have a switch in my code depending which =
reasoner I'm talking to.

Thanks,
Ian


> > From: Ralf M=F6ller <r.f...@tu...>
> >
> >
> > I think what we had in mind was that <types> returns the set of most
> > specific concept names of which a given individuals is an instance=20
> > (i.e., the direct types).