W3C home > Mailing lists > Public > semantic-web@w3.org > February 2005

owl:SymmetricProperty

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Mon, 14 Feb 2005 16:49:27 +0800
To: semantic-web@w3.org
Message-id: <000e01c51272$17589460$0401a8c0@wongkjo9u38gzb>
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
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.


Jeremy
Received on Monday, 14 February 2005 08:58:06 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:44 UTC