# 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?

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

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