Re: rdfs:subPropertyOf + owl:inverseOf from Yuzhong Qu on 2005-03-20 (semantic-web@w3.org from March 2005)

From: Yuzhong Qu <yzqu@seu.edu.cn>
Date: Sun, 20 Mar 2005 15:03:39 +0800
To: "Jeremy Wong" <50263336@student.cityu.edu.hk>
Cc: "SWIG" <semantic-web@w3.org>
Message-ID: <005c01c52d1a$f1d40210$fd0b77ca@xobjects>

I think it's ok.

Any problem did you find in this case?

Yuzhong Qu
  ----- Original Message ----- 
  From: Jeremy Wong 
  To: semantic-web@w3.org 
  Sent: Sunday, March 20, 2005 1:18 PM
  Subject: Fw: rdfs:subPropertyOf + owl:inverseOf

  ----- Original Message ----- 
  From: Jeremy Wong 
  To: public-owl-dev@w3.org 
  Sent: Sunday, March 20, 2005 5:16 AM
  Subject: rdfs:subPropertyOf + owl:inverseOf

  Consider the following...

  <PropA> rdfs:subPropertyOf <PropB> ; owl:inverseOf <PropB> .
  infers that
  <PropA> rdf:type owl:SymmetricProperty ...

  Proof.. consider the statement
  <#A> <PropA> <#B> .
  infers
  <#A> <PropB> <#B> . (<PropA> rdfs:subPropertyOf <PropB>)
  infers indirectly
  <#B> <PropA> <#A> . (<PropA> owl:inverseOf <PropB>)

  That means <PropA> is symmetric.

  It is also true for...
  <PropC> owl:inverseOf <PropC> ...
  infers that
  <PropC> rdf:type owl:SymmetricProperty

  agree or not ?

  Jeremy

Received on Sunday, 20 March 2005 06:59:30 UTC