- From: Yuzhong Qu <yzqu@seu.edu.cn>
- Date: Tue, 2 Mar 2004 21:53:47 +0800
- To: "Eric Jain" <Eric.Jain@isb-sib.ch>
- Cc: <www-rdf-logic@w3.org>
Two possible cases: 1. The range of a property (p) is disjointFrom the range of another property (q). (This is supported by OWL DL) 2. Property p is a subproperty of the negation of property q. (But OWL doesn't support the negation of property) Your example falls into the second case. It seems that there is no way by using OWL DL. Any comment is welcome! Yuzhong Qu ----- Original Message ----- From: "Eric Jain" <Eric.Jain@isb-sib.ch> To: "rdf-logic" <www-rdf-logic@w3.org> Sent: Tuesday, March 02, 2004 9:30 PM Subject: owl:oppositeOf > > 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:51:49 UTC