Re: owl:SymmetricProperty

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