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

Re: rdfs:subPropertyOf + owl:inverseOf

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

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:52 UTC