Equivalent Classes in OWL

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

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 UTC