W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2005

Re: Role Negation in OWL

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Tue, 13 Sep 2005 02:20:34 -0400 (EDT)
To: Matt Williams <matthew.williams@cancer.org.uk>, www-rdf-logic@w3.org
Message-Id: <20050913022034.DBZ01032@isrmail.isr.umd.edu>

---- Original message ----
>Date: Mon, 12 Sep 2005 20:25:20 +0100
>From: Matt Williams <matthew.williams@cancer.org.uk>  
>Subject: Role Negation in OWL  
>To: www-rdf-logic@w3.org
>
>
>Dear List,
>
>Rather a basic question, and it may have been answered, but I couldn't
>find anything in the archives.
>
>I'm wondering if I can say "not R.C" (where R and C are a role and class
>respectively).  I'm trying to express a concept such as "doesn't have
>treatment with tamoxifen", so I'm not really looking for the complement
>of R, just a way of expressing that the relationship R.C won't hold for
>a particular individual.

How about making that individual an instance of allValuesFrom complementOf C 
onProperty R?

Cheers,
Bijan.
Received on Tuesday, 13 September 2005 06:20:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:50 GMT