计算机科学论坛--试验GenericRuleReasoner出现问题，求更正

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

W3CHINA.ORG讨论区

>>计算机科学论坛<<

SOAChina论坛

Blog

开放翻译计划

新浪微博

首页

软件下载

资料下载

核心成员

帮助

>> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。

[返回] 计算机科学论坛 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体』 → 试验GenericRuleReasoner出现问题，求更正

◇查看新帖 ◇ 用户列表 ◇

(订阅本版)

您是本帖的第 10980 个阅读者　　

*	贴子主题：试验GenericRuleReasoner出现问题，求更正	举报打印推荐 IE收藏夹
	本主题类别:

w3cbobo

  等级：大一(猛啃高等数学)
  文章：23
  积分：169
  门派：XML.ORG.CN
  注册：2007/3/7

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

	楼主

试验GenericRuleReasoner出现问题，求更正

各位大大，今天小弟试验GenericRuleReasoner在owl文件上进行推理，尽管得到的结果中有想要的结果，结果中还有其他内容，不知是怎么回事
相当简单的程序，owl用的jena自带 camera.owl
import com.hp.hpl.jena.rdf.model.InfModel;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Property;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.rdf.model.Statement;
import com.hp.hpl.jena.rdf.model.StmtIterator;
import com.hp.hpl.jena.util.FileManager;
import com.hp.hpl.jena.util.PrintUtil;
import com.hp.hpl.jena.reasoner.Reasoner;
import com.hp.hpl.jena.reasoner.rulesys.Rule;
import com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner;
public class Ex {
public static void main(String[] args) {
  // TODO Auto-generated method stub
  Model schema=FileManager.get().loadModel("file:camera.owl");
  String rules="[Rule1:(?x rdfs:subClassOf ?y)(?y rdfs:subClassOf ?z)->(?x rdfs:subClassOf ?z)]";
  Reasoner reasoner=new GenericRuleReasoner(Rule.parseRules(rules));
  InfModel infmodel=ModelFactory.createInfModel(reasoner, schema);

  Resource res=infmodel.getResource("http://www.xfront.com/owl/ontologies/camera/#Large-Format");

  printStatements(infmodel, res, null, null);
}
public static void printStatements(Model m, Resource s, Property p, Resource o) {
        for (StmtIterator i = m.listStatements(s,p,o); i.hasNext(); ) {
            Statement stmt = i.nextStatement();
            System.out.println(" - " + PrintUtil.print(stmt));
        }
    }
}

   收藏   分享
顶(0)

2007/8/8 10:38:00

jpz6311whu

  威望：9
  等级：研三(收到微软亚洲研究院的Offer了)(版主)
  文章：1718
  积分：10610
  门派：W3CHINA.ORG
  注册：2005/4/12

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

	第2楼

请楼主列出：
哪些是“想要的结果”
哪些是“结果中还有其他内容”

2007/8/8 10:40:00

w3cbobo

  等级：大一(猛啃高等数学)
  文章：23
  积分：169
  门派：XML.ORG.CN
  注册：2007/3/7

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

	第3楼

对了，结果是：
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdfs:subClassOf owl:Thing)
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdfs:subClassOf http://www.xfront.com/owl/ontologies/camera/#PurchaseableItem)
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdfs:subClassOf c016db7:11443511ae4:-7ff7)
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdfs:subClassOf http://www.xfront.com/owl/ontologies/camera/#Camera)
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdf:type owl:Class)
我本意是只要subclass的关系
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdfs:subClassOf c016db7:11443511ae4:-7ff7)
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdf:type owl:Class)
这两条是怎么出来的呢？
不是GenericRuleReasoner的规则需要完全由自己写吗？
大家不吝赐教阿

2007/8/8 10:41:00

w3cbobo

  等级：大一(猛啃高等数学)
  文章：23
  积分：169
  门派：XML.ORG.CN
  注册：2007/3/7

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

	第4楼

哇，jpz6311whu兄真快，刚刚忘了贴了

2007/8/8 10:42:00

jpz6311whu

  威望：9
  等级：研三(收到微软亚洲研究院的Offer了)(版主)
  文章：1718
  积分：10610
  门派：W3CHINA.ORG
  注册：2005/4/12

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

	第5楼

- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdfs:subClassOf c016db7:11443511ae4:-7ff7)
--这个是因为object是匿名结点，可能是union或者intersection of classes
- (http://www.xfront.com/owl/ontologies/camera/#Large-Format rdf:type owl:Class)
--这个是因为printStatements(infmodel, res, null, null); 第三个参数为null

2007/8/8 10:46:00

w3cbobo

  等级：大一(猛啃高等数学)
  文章：23
  积分：169
  门派：XML.ORG.CN
  注册：2007/3/7

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

	第6楼

谢谢
我又查了下本体，是不是下面这一段的问题？因为这里头这个约束？
<owl:Class rdf:ID="Large-Format">
          <rdfs:subClassOf rdf:resource="#Camera"/>
          <rdfs:subClassOf>
               <owl:Restriction>
                     <owl:onProperty rdf:resource="#body"/>
                     <owl:allValuesFrom rdf:resource="#BodyWithNonAdjustableShutterSpeed"/>
               </owl:Restriction>
          </rdfs:subClassOf>
     </owl:Class>
但是如果想去掉这个怎么处理呢？

2007/8/8 10:57:00

w3cbobo

  等级：大一(猛啃高等数学)
  文章：23
  积分：169
  门派：XML.ORG.CN
  注册：2007/3/7

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

	第7楼

刚刚给第三个参数传了rdfs:subClassof，owl:thing肯定是不出现了，但是在未来的应用中Rules肯定不止有一条，这里如果不写null的话怎么对若干条规则进行推理呢？难道要一个rule一个rule的做吗？

2007/8/8 11:08:00

jpz6311whu

  威望：9
  等级：研三(收到微软亚洲研究院的Offer了)(版主)
  文章：1718
  积分：10610
  门派：W3CHINA.ORG
  注册：2005/4/12

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

	第8楼

楼主是问推理结果里面去掉还是检索结果里面去掉？
楼主的后面一个问题也是这样，楼主要搞清楚哪个是推理哪个是检索。。。

2007/8/8 11:21:00

w3cbobo

  等级：大一(猛啃高等数学)
  文章：23
  积分：169
  门派：XML.ORG.CN
  注册：2007/3/7

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

	第9楼

推理里边能去掉吗？

2007/8/8 12:13:00

jpz6311whu

  威望：9
  等级：研三(收到微软亚洲研究院的Offer了)(版主)
  文章：1718
  积分：10610
  门派：W3CHINA.ORG
  注册：2005/4/12

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

	第10楼

可以

2007/8/8 12:15:00

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2025/10/9 8:19:05

本主题贴数19，分页： [1] [2]

管理选项：修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告


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