Protege看到了关系,Virtuoso没有

查看 go-plus ontology 在一个新安装的库存Protg 5中,我在entities选项卡中找到了一个有用的推断 http://purl.obolibrary.org/obo/GO_0003215 :

“右心室形态发生”导致“某些”心室的形态发生

'导致形态发生' http://purl.obolibrary.org/obo/RO_0002298 和 “心室” 是 http://purl.obolibrary.org/obo/UBERON_0002082

如果我将相同的本体加载到Virtuoso开源07.20.3217中,并描述 http://purl.obolibrary.org/obo/GO_0003215 ,未列出与“心室”的关系。 (Even after enabling OWL inference.)

然而 http://purl.obolibrary.org/obo/GO_0003215 是 链接到具有的匿名节点

rdf:type           owl:Restriction 
owl:onProperty     n3:RO_0002298 
owl:someValuesFrom n3:UBERON_0002080 

哪里 n3 是 http://purl.obolibrary.org/obo/

describe 看法

是否有一些简洁的SPARQL语法可以清楚地说明这种关系?目前,我正在使用

select distinct ?goid (str(?goterm) as ?go_str)
?svf (str(?anatomy ) as ?anat_str)
where
{
  ?goid obo:hasOBONamespace 'biological_process'^^xsd:string .
  ?goid  rdfs:label ?goterm .
  ?goid rdfs:subClassOf+ ?parent .
  ?parent owl:someValuesFrom* ?svf .
  ?svf rdfs:subClassOf+
  <http://purl.obolibrary.org/obo/UBERON_0001062> .
  ?svf rdfs:label ?anatomy
}