Re: [DIG-users] Individual types query

[Sean B. <se...@cs...>]

Dickinson, Ian John (HP Labs, Bristol, UK) wrote:

> Sean - 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.
> 

FaCT *should* return the same as RACER in this situation -- the most 
specific concept names that an individual is a instance of. If it 
doesn't, it needs fixing!

	Sean

-- 
Sean Bechhofer
se...@cs...
http://www.cs.man.ac.uk/~seanb