计算机科学论坛--请教一个问题

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

我用protege构建了一个领域本体geoOntology.owl，在这个本体里面，只有类和属性，没有具体的instance。
然后我将一个gml文件usa.gml通过xslt转换成了一个符合geoOntology.owl的usa.owl（我觉得应该可以理解为是应用本体）。
但是当我在使用jena处理这个usa.owl时，却发现原本在领域本体里面设置的可逆属性不具有可逆性了，可传递的属性也没有，这是怎么回事呢？盼高手赐教，不胜感激。

附件1是我所构建的领域本体及生成的应用本体

接下来是我在eclipse里面的一段代码

package edu.jena.test

import java.io.FileInputStream;
import java.io.FileNotFoundException;

import com.hp.hpl.jena.ontology.OntModel;
import com.hp.hpl.jena.rdf.model.InfModel;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Statement;
import com.hp.hpl.jena.rdf.model.StmtIterator;
import com.hp.hpl.jena.reasoner.Reasoner;
import com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner;
import com.hp.hpl.jena.reasoner.rulesys.Rule;

public class ParseOWL {

public static void main(String[] args) {
  try {
   Reasoner rsNew = new GenericRuleReasoner(Rule.parseRules(""));
   OntModel model = ModelFactory.createOntologyModel();

   model.read(new FileInputStream("usa_rel.owl"), "");

   InfModel infmodel = ModelFactory.createInfModel(rsNew, model);

   for (StmtIterator si = infmodel.listStatements(); si.hasNext();) {
    Statement s = si.nextStatement();
    System.out.println("-" + s);
   }
  } catch (FileNotFoundException e) {
   // TODO Auto-generated catch block
   e.printStackTrace();
  }
}
}

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

"却发现原本在领域本体里面设置的可逆属性不具有可逆性了，可传递的属性也没有"

楼主能否各举一个例子？

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

比如说我在protege里面设置对象属性isNorthOf 它与对象属性isSouthOf是互逆的
在应用本体里面如果有这么一段
<geo:County rdf:ID="C1">
<geo:name_of_county>Ferry</geo:name_of_county>
<geo:state_of_county>Washington</geo:state_of_county>
<geo:area_of_county>2280.2319</geo:area_of_county>
<geo:shape>
<geo:Polygon>
<geo:Coordinates>-118.851628799202 47.9495636742411 -118.848460465214 48.4780657489521 -118.870258160547 48.4791641649688 -118.87105564297 48.6472376123909 -118.839736043331 48.6490384561425 -118.843602807007 48.999898434985 -118.200354738048 48.9999088412351 -118.212363363059 48.9812581400458 -118.214947825953 48.936839147817 -118.200808542736 48.9133788782638 -118.209665054463 48.8749297766656 -118.140992273149 48.7849072043159 -118.124542218446 48.7822677843917 -118.127943689153 48.7425026183391 -118.115026091484 48.7065677784617 -118.124303849306 48.6903242921185 -118.090068329743 48.6434796358249 -118.122319501648 48.6159783037681 -118.126973359074 48.570223874038 -118.147611956749 48.5432797763567 -118.145979052451 48.5280550712644 -118.195496376716 48.4819411298151 -118.212632409935 48.4522578875999 -118.170389907942 48.2980568308158 -118.145531237997 48.273352586652 -118.148330587609 48.2401256237306 -118.190400620852 48.2061121842457 -118.194740216559 48.1475243716911 -118.246271228325 48.1175774478352 -118.236671544723 48.0752561743582 -118.249817130672 48.0562468481687 -118.280656650232 48.0435241977661 -118.365744902265 48.0413375376079 -118.386306888612 48.023621451654 -118.381033902279 47.9978716625674 -118.355389121005 47.9663352621474 -118.344262843651 47.885378527697 -118.368158328048 47.8358703557758 -118.43288234764 47.8389024924975 -118.459343683602 47.8773092679239 -118.507007037162 47.8694313206508 -118.529354625073 47.8737950901862 -118.543837080165 47.916005238663 -118.556784908302 47.921853090231 -118.625582207194 47.9219818285123 -118.682576728732 47.9351267152433 -118.72940671901 47.8953990804407 -118.820529295266 47.9232535472636 -118.831821824574 47.9410683871238 -118.851628799202 47.9495636742411</geo:Coordinates>
</geo:Polygon>
</geo:shape>
<geo:isNorthOf rdf:resource="#C20"/>
</geo:County>

说明C1对象和C20对象的关系是isNorthOf 但在Jena里面推理时如果要推理C20和C1的关系却没有根据isNorthOf和isSouthOf的可逆性推理如果C20对象里面没有注明其与C1的关系那么两者就没有关系了

表述的不是很清楚不知道你明白了没有？

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

Reasoner rsNew = new GenericRuleReasoner(Rule.parseRules(""));
推理机用得不对，你这个推理机里面没有任何推理规则
可以换成OWL推理机


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	93.750ms