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

Re: owl:SymmetricProperty

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 14 Feb 2005 07:24:11 -0500 (EST)
Message-Id: <20050214.072411.95774174.pfps@research.bell-labs.com>
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

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