[SO-devel] Question about axioms on OWL version of SO

[Mikel E. A. <me...@fi...>]

Hi;

I have been recently exploring the OWL version of SO and I have 
encountered the following pattern several times:

B equivalentTo A and (p some C)
B subClassOf A

It seems to me that the second axiom is redundant, since it is already 
entailed by the first one, but I'm sure there is a good reason for it to 
be there, can anyone help me? Thanks

An example:

SO_0001032 equivalentTo SO_0000737 and (has_quality some SO_0000352)
SO_0001032 subClassOf SO_0000737

<owl:Class rdf:about="&ns1;SO_0001032">
<ns1:IAO_0000118 xml:lang="en">mitochondrial DNA</ns1:IAO_0000118>
<rdfs:label xml:lang="en">mitochondrial_DNA</rdfs:label>
<rdfs:subClassOf rdf:resource="&ns1;SO_0000737"/>
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="&ns1;SO_0000737"/>
<owl:Restriction>
<owl:onProperty rdf:resource="&ns1;has_quality"/>
<owl:someValuesFrom rdf:resource="&ns1;SO_0000352"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>



Regards

-- 
Mikel Egaña Aranguren, PhD
http://mikeleganaaranguren.com

Marie Curie post-doc at Ontology Engineering Group, UPM
http://www.oeg-upm.net/