|
From: Mikel E. A. <me...@fi...> - 2011-05-03 16:45:57
|
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/ |