owl:oppositeOf from Eric Jain on 2004-03-02 (www-rdf-logic@w3.org from March 2004)

From: Eric Jain <Eric.Jain@isb-sib.ch>
Date: Tue, 2 Mar 2004 14:30:30 +0100
To: "rdf-logic" <www-rdf-logic@w3.org>
Message-ID: <000701c4005a$88719be0$c300000a@caliente>

Is there a way to indicate that a property is the opposite of another
property? For example from the definition of the properties 'hasAuthor'
and 'hasNotAuthor' and the statements

  s hasAuthor a1
  s hasNotAuthor a2

I would like to be able to infer that a1 is different from a2, and that
stating 's hasAuthor a2' would introduce a logical conflict.

Received on Tuesday, 2 March 2004 08:30:38 UTC