W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2006

Equivalent Classes in OWL

From: Luke Steller <Luke.Steller@infotech.monash.edu.au>
Date: Thu, 27 Jul 2006 22:47:05 +1000
Message-ID: <761d7eaa0607270547y13f2aee2g9fae50019cb7e92a@mail.gmail.com>
To: public-owl-dev@w3.org

Hello,

Given the following ontology - when i ask a reasoner (pellet) for
equivalent classes of #GraphicSupport, it gives me:

#GraphicSupport, #TradingStatus, #Thing

Why is this so?

Thanks,
Luke


  <owl:Class rdf:about="http://luke#GraphicSupport" />
  <owl:Class rdf:about="http://luke#Colour">
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://luke#GraphicSupport"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="http://luke#BlackAndWhite">
    <owl:complementOf>
      <owl:Class rdf:about="http://luke#Colour"/>
    </owl:complementOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://luke#GraphicSupport"/>
    </rdfs:subClassOf>
  </owl:Class>

  <owl:Class rdf:about="http://luke#TradingStatus">
    <owl:unionOf rdf:parseType="Collection">
      <owl:Class rdf:about="http://luke#Open"/>
      <owl:Class rdf:about="http://luke#Close"/>
    </owl:unionOf>
  </owl:Class>

  <owl:Class rdf:about="http://luke#Close">
    <owl:complementOf>
      <owl:Class rdf:about="http://luke#Open"/>
    </owl:complementOf>
  </owl:Class>
Received on Thursday, 27 July 2006 12:47:14 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:53 GMT