Hi,
I'm new in the ontology area and I'm struggling to understand some of
the problems that I'm getting.
This "new" question is with respect to what a reasoner like pellet
could infer from the ontology relations/properties.
One of the ontologies that I have been working on has most of the
classes defined like this:
<owl:Class rdf:about="http://human.owl#NCI_C12405";>
<rdfs:label
rdf:datatype="http://www.w3.org/2001/XMLSchema#string";>Uterus</rdfs:label>
<rdfs:subClassOf rdf:resource="http://human.owl#NCI_C13018"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty
rdf:resource="http://human.owl#UNDEFINED_part_of"/>
<owl:someValuesFrom rdf:resource="http://human.owl#NCI_C12402"/>
</owl:Restriction>
</rdfs:subClassOf>
<oboInOwl:hasDefinition rdf:resource="http://human.owl#genid7426"/>
<oboInOwl:hasRelatedSynonym rdf:resource="http://human.owl#genid7427"/>
<oboInOwl:hasRelatedSynonym rdf:resource="http://human.owl#genid7428"/>
<oboInOwl:hasRelatedSynonym rdf:resource="http://human.owl#genid7429"/>
<oboInOwl:hasRelatedSynonym rdf:resource="http://human.owl#genid7430"/>
</owl:Class>
Some classes dont have the "restriction" and "hasRelatedSynonym" parts.
My question is: Is the reasoner capable of inferring more "subclassof"
relations between classes (of the type "http://human.owl...";) than the
transitive inference of "subclassof" relation ?
If so, is it because of this part ??:
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty
rdf:resource="http://human.owl#UNDEFINED_part_of"/>
<owl:someValuesFrom rdf:resource="http://human.owl#NCI_C12402"/>
</owl:Restriction>
</rdfs:subClassOf>
I'm having different "subclassof" sets using pellet and using only the
transitive closure, and I want to know which property/relation is the
pellet using to derive these new "is_a" relations.
Thank you!
