RE: [DIG-users] Individual types query
Brought to you by:
dturi
From: Dickinson, I. J. (HP L. B. UK) <ian...@hp...> - 2004-10-25 16:24:47
|
That's what I was hoping.=20 Thanks, Ian > -----Original Message----- > From: Sean Bechhofer [mailto:se...@cs...]=20 > > Sean - What does FaCT do with <types>? To get Racer's DIG=20 > interface=20 > > to support Jena's contract, I will need to <ask> for the=20 > ancestors of=20 > > each of the concepts returned from <types>. If FaCT does=20 > the same, I=20 > > can just change my code. If FaCT returns all of the concepts and=20 > > their ancestors, I'll need to have a switch in my code=20 > depending which=20 > > reasoner I'm talking to. > >=20 >=20 > FaCT *should* return the same as RACER in this situation -- the most=20 > specific concept names that an individual is a instance of. If it=20 > doesn't, it needs fixing! >=20 > Sean |