- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Mon, 14 Feb 2005 07:24:11 -0500 (EST)
- To: 50263336@student.cityu.edu.hk
- Cc: semantic-web@w3.org
From: Jeremy Wong <50263336@student.cityu.edu.hk> Subject: owl:SymmetricProperty Date: Mon, 14 Feb 2005 16:49:27 +0800 > Let's see the following situation... > > Before we have, > P1 rdf:type rdf:Property > P2 rdf:type rdf:Property > P2 rdfs:subPropertyOf P1 > P2 rdfs:subPropertyOf owl:SymmetricProperty You probably meant P2 rdf:type owl:SymmetricProperty > R1 rdf:type rdfs:Resource > R2 rdf:type rdfs:Resource > > When this triple is added > R1 P2 R2 > > Suppose the following triples are then generated > R1 P1 R2 (P2 rdfs:subPropertyOf P1) > R2 P2 R1 (P2 rdfs:subPropertyOf owl:SymmetricProperty) > > Then this triple is also generated > R2 P1 R1 (P2 rdfs:subPropertyOf P1) > > My problem is from the last triple above, which it should not exist > logically. Is there anything wrong by me? Please indicate and thanks. Well, your reasoning is not correct. The fourth triple is indeed a logical consequence of your theory. What makes you think that it should not be? > > Jeremy Peter F. Patel-Schneider
Received on Monday, 14 February 2005 12:24:22 UTC