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


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 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC