Owl 1.1 and queries

Dear All,

I remember that there was a paper from Manchester about query answering 
in DLs by using a "rolling-up" technique.

I was just wondering if anyone knows whether this would work for OWL 
1.1? The reason I ask is that negated roles are now allowed in the 
A-Box, but (if I remember correctly) the procedure involved taking an 
A-Box query and transforming it into a new class with existential 
quantification in the T-Box, and then using existing techniques to infer 
class membership, so wouldn't you end up trying to make class with a 
negated role in the T-Box definition?

E.g:

People(x) & hasBrother(x,y) & OldMan(y) --> NewQueryClass \equiv People 
\sqcap \exists hasBrother.OldMan

but then:

People(x) & hasBrother(x,y) & OldMan(y)  & ¬ hates (x,y) --> ???

Apologies if this is obvious, but I was just curious....

Thanks,

Matt

Received on Wednesday, 7 March 2007 05:02:16 UTC