Re: rdfs:subPropertyOf + owl:inverseOf

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