W3C home > Mailing lists > Public > semantic-web@w3.org > March 2007

Question on DL negation

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Mon, 05 Mar 2007 10:45:22 +0000
Message-ID: <45EBF4C2.8090100@cancer.org.uk>
To: Semantic Web <semantic-web@w3.org>, Description Logic <dl@dl.kr.org>

Dear All,

As I understand, most DL's do not allow for the negation of roles.

However, given a formula of the form R(x,y) (where R is some role), 
since this is equivalent to (R(x,y) & \top(y)) which could be negated as 
( R(x,y) & \top(y)), is it possible to effectively relax this 
constraint in some cases without affecting the logic?

I'm interested in rules that have a single role as the head, and 
negation of such heads would be useful...


+44 (0)7834 899570
Received on Monday, 5 March 2007 10:45:49 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:59 UTC