[Pellet-users] A lot of descendant queries

[bijan at clarkparsia.com]

On Thu, May 3, 2007 2:03 pm, Alan Ruttenberg <alanruttenberg at gmail.com> said:

> BTW, the reason I am doing this is to supplement the rdf we are
> feeding the naive rdf store we are using, so that we are still able
> to answer interesting questions.
> Another question: wouldn't this amount to computing role inclusions
> on two transitive roles on instances?
> 
> part-of < part-of o is-a
> +
> part-of < is-a o part_of
> 
> (one of these rewritten to use inverses so it fits)

Only if is-a were a role, which, normally, it isn't (it's a conditional; the relata are class expressions). Acutally, if you are think of part-of as something between expressions, it too could be tricky.

That being said, you of course could reflect things into a form where this could make sense. But I'm unclear on what the gain is. Maybe I don't understand your point?

Cheers,
Bijan.