想请教各位高手，racer对本体实例的推理。
问题的提出：
racer是大家公认的professional reasoner,有很高的效率和准确性，同时也是一种dig推理器，可与jena连接，适用性较广。但就目前我做过的实验来看，racer似乎很难用于对本体实例进行直接的推理。这里所谓的本体实例，是指由metadata定义的data。一般我们所说的本体，实际上是对metadata进行描述而非对data进行描述，作用类似于schema。而我的实验中是用本体对数据进行描述，相当于xml document.
问题的描述：
我对以下ontology instance 进行推理
<geoF:City rdf:ID="Auckland">
<hasSpatialRelation>
<geoF:SpatialDistanceRelation rdf:nodeID="AucklandDistanceRelation">
<destination rdf:resource="#Wellington"/>
<spatialDistance>800</spatialDistance>
<hasSpatialUnits rdf:resource="#kilometers"/>
</geoF:SpatialDistanceRelation>
</hasSpatialRelation>
<hasSpatialRelation>
<geoF:DirectionRelation rdf:nodeID="AucklandOrientationRelation">
<isLeftOf rdf:resource="#LosAngeles"/>
<isOriented rdf:resource="#North"/>
</geoF:DirectionRelation>
</hasSpatialRelation>
</geoF:City>
<geoF:City rdf:ID="Wellington"/>
<geoF:City rdf:ID="LosAngeles"/>
用jena解析后：
subject: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#Auckland
predicate: http://www.w3.org/1999/02/22-rdf-syntax-ns#type
object: http://www.mindswap.org/2003/owl/geo/geoFeatures20040307.owl#City
subject: UAucklandDistanceRelation
predicate: http://www.w3.org/1999/02/22-rdf-syntax-ns#type
object: http://www.mindswap.org/2003/owl/geo/geoFeatures20040307.owl#SpatialDistanceRelation
subject: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#Auckland
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#hasSpatialRelation
object: UAucklandDistanceRelation
subject: UAucklandDistanceRelation
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#destination
object: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#Wellington
subject: null
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#spatialDistance
object: 800
subject: UAucklandDistanceRelation
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#hasSpatialUnits
object: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#kilometers
subject: UAucklandOrientationRelation
predicate: http://www.w3.org/1999/02/22-rdf-syntax-ns#type
object: http://www.mindswap.org/2003/owl/geo/geoFeatures20040307.owl#DirectionRelation
subject: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#Auckland
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#hasSpatialRelation
object: UAucklandOrientationRelation
subject: UAucklandOrientationRelation
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#isLeftOf
object: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#LosAngeles
subject: UAucklandOrientationRelation
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#isOriented
object: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#North
subject: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#Wellington
predicate: http://www.w3.org/1999/02/22-rdf-syntax-ns#type
object: http://www.mindswap.org/2003/owl/geo/geoFeatures20040307.owl#City
subject: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#LosAngeles
predicate: http://www.w3.org/1999/02/22-rdf-syntax-ns#type
object: http://www.mindswap.org/2003/owl/geo/geoFeatures20040307.owl#City
可以很明显的看出predict http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#isLeftOf的主体和客体
用racer推理出来的结果：
subject: 166aa18:10253d3ea9e:-7ff9
predicate: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#isLeftOf
object: http://www.mindswap.org/2003/owl/geo/geoRelations20040307.owl#LosAngeles
subject为乱码，而且每次试验显示的乱码不一样，说明是随机生成的。大家有没有碰到过这种情况阿？
问题的解答：
racer对data部分reasoning时，是否需要添加更多的规则；还是由于用metadata定义的data结构过于复杂，racer无能为力呢？
谢谢各位的回复，欢迎大家来讨论这个问题！
[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → racer对本体实例的推理
(订阅本版)
2006/4/13 10:13:00
新浪微博
racer对本体实例的推理
