W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2004

owl:oppositeOf

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

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 GMT

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