W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

Owl 1.1 and queries

From: Matt Williams <mw@healthgambia.net>
Date: Tue, 06 Mar 2007 19:30:52 +0000
Message-ID: <45EDC16C.8010602@healthgambia.net>
To: Owl Dev <public-owl-dev@w3.org>

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?


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


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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:14 UTC