Re: Role Negation in OWL

---- 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 UTC