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

Re: rdfs:subPropertyOf + owl:inverseOf

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Sun, 20 Mar 2005 15:41:55 +0800
To: Yuzhong Qu <yzqu@seu.edu.cn>
Cc: SWIG <semantic-web@w3.org>
Message-id: <000c01c52d20$4a67fee0$0401a8c0@wongkjo9u38gzb>
I think it's ok too. I just want to find someone to confirm the inference.


Jeremy
  ----- Original Message ----- 
  From: Yuzhong Qu 
  To: Jeremy Wong 
  Cc: SWIG 
  Sent: Sunday, March 20, 2005 3:03 PM
  Subject: Re: rdfs:subPropertyOf + owl:inverseOf


  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 07:42:54 UTC

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