W3C home > Mailing lists > Public > semantic-web@w3.org > May 2006

Negation and "Opposition"

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Thu, 11 May 2006 15:43:46 +0100
To: Semantic Web <semantic-web@w3.org>
Message-Id: <1147358626.3084.52.camel@dhcp0320.acl.icnet.uk>

Dear List,

I'd like to get peoples thoughts on the following.

I'm working on producing an argumentation system that is heavily based
on ontological knowledge. Arguments are produced by gathering rules and
facts together to support a claim, and my system limits the terms
appearing in the rules to those in the ontology (for more info see the
"Argumentation and Ontologies" paper at http://acl.icnet.uk/~mw).
Negation is the basis of much argumentation, as it is used to define

Because of these two things, the ontological notion of negation is
important. For example, if we have the rule:

Tamoxifen(x) -> Dead(x)

then I want to develop a rule that says (roughly):

notValues(Dead(x)) -> not Tamoxifen(x)

Leaving aside the values bit, negating the Tamoxifen seems a bit
difficult - because (as I understand it) it means "anything that is
disjoint with tamoxifen" - which might include other treatments, but
also might include sheep, planes and mobile phones....

Does this make sense - and if so, does anyone have any ideas about how
to resolve it?



Dr. M. Williams MRCP(UK)
Clinical Research Fellow
Cancer Research UK
+44 (0)207 269 2953
+44 (0)7834 899570
Received on Thursday, 11 May 2006 14:43:58 UTC

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