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

Re: Question on DL negation

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Mon, 05 Mar 2007 15:32:58 +0000
Message-ID: <45EC382A.6040602@cancer.org.uk>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
CC: Semantic Web <semantic-web@w3.org>

Sorry, as a follow-up I think I can handle my requirements with the 
disjoint properties of OWL 1.1. On a practical note, which tools 
currently support owl 1.1 modelling ? And which reasoners? I think 
FaCT++ does (but not via DIG), and Pellet 1.4, but again I'm not clear 
on DIG support.

Any other pointers would be welcome

Thanks a lot,


Bijan Parsia wrote:
> On 5 Mar 2007, at 10:45, Matt Williams wrote:
>> 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))
> That's not a class expression. The standard negation constructor, e.g., 
> in OWL, applies only to class expresession (i.e., to formulae with at 
> most one free variable).
>> which could be negated as ( R(x,y) & \top(y)),
> Only if you had negation of arbitrary formulae, which you generally 
> don't. And if you did, you could just say ~R(x, y) :)
>> is it possible to effectively relax this constraint in some cases 
>> without affecting the logic?
> So, there are at least two forms of role negation you might consider: 
> negation of *ground* roles and negation of *arbitrary* roles. The former 
> allows you to so say that, e.g., bob does *not* love mary, where as the 
> latter allows you to say that love and hate are disjoint.
> In OWL, given nominals, you can encode the former, e.g., bob: 
> complementOf(hasValue.love({mary}). In this way, it's clear that 
> nominals are more expressive than aboxes alone. In OWL 1.1, you can 
> express the former directly and you can express the latter at least in 
> the form of disjointness of properties.
>> I'm interested in rules that have a single role as the head, and 
>> negation of such heads would be useful...
> Hope this helps.
> Cheers,
> Bijan.

+44 (0)7834 899570
Received on Monday, 5 March 2007 15:33:28 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:00 UTC