计算机科学论坛--owl的一致性检查

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

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)/描述逻辑/本体』 → owl的一致性检查

◇查看新帖 ◇ 用户列表 ◇

发表一个新主题

发表一个新投票

回复主题

(订阅本版)

您是本帖的第 3067 个阅读者　　

　

*	贴子主题： owl的一致性检查	举报打印推荐 IE收藏夹
	本主题类别:

ybziwen

帅哥哟，离线，有人找我吗？

  等级：大一(高数修炼中)
  文章：30
  积分：164
  门派：XML.ORG.CN
  注册：2008/3/22

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

	楼主

owl的一致性检查

本体：
<?xml version="1.0"?>
<rdf:RDF
    xmlns="http://www.owl-ontologies.com/Ontology1225007352.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.owl-ontologies.com/Ontology1225007352.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="Requirement"/>
  <owl:Class rdf:ID="Diagram"/>
  <owl:Class rdf:ID="ProblemDiagram">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasRequirement"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#Requirement"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Diagram"/>
  </owl:Class>
  <Requirement rdf:ID="r2"/>
  <ProblemDiagram rdf:ID="p1"/>
  <Requirement rdf:ID="r1"/>
</rdf:RDF>


程序：

Model schema = FileManager.get().loadModel("D:/owlDemoSchema.owl");
     Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
    reasoner = reasoner.bindSchema(schema);
    InfModel infmodel = ModelFactory.createInfModel(reasoner, schema);
ValidityReport validity = infmodel.validate();
    if (validity.isValid()) {
        System.out.println("OK");
    } else {
        System.out.println("Conflicts");
        for (Iterator i = validity.getReports(); i.hasNext(); ) {
            ValidityReport.Report report = (ValidityReport.Report)i.next();
            System.out.println(" - " + report);
        }
    }
为什么推不出矛盾结论呢？
ProblemDiagram 要求 hasRequirement>=1，而p1没有满足这个条件，为什么推不出矛盾呢？
高手请指教。

   收藏   分享
顶(0)

2008/10/26 17:14:00

baojie

帅哥哟，离线，有人找我吗？

  威望：9
  头衔：小学生
  等级：研一(参加了一年一度的XML大会)(贵宾)
  文章：667
  积分：4442
  门派：XML.ORG.CN
  注册：2003/11/24

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

	第2楼

hehe 很经典的问题！
因为本体不一致，是指该本体没有model（模型）。在你的例子中，虽然p1没有有名字的hasRequirement后继，并不代表不存在一个模型，p1有这样的后继，因为OWL是开放世界假设！
Jena的这段代码是正确的。

2008/10/27 5:50:00

ybziwen

帅哥哟，离线，有人找我吗？

  等级：大一(高数修炼中)
  文章：30
  积分：164
  门派：XML.ORG.CN
  注册：2008/3/22

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

	第3楼

那如果我想推出矛盾结论，怎么做呢？
比如说我在程序中有一个ProblemDiagram的对象，但这个对象没有hasRequirement的属性，我想检查出这个对象不是problemDiagram的一个实例，我该怎么做呢？

2008/10/27 15:39:00

baojie

帅哥哟，离线，有人找我吗？

  威望：9
  头衔：小学生
  等级：研一(参加了一年一度的XML大会)(贵宾)
  文章：667
  积分：4442
  门派：XML.ORG.CN
  注册：2003/11/24

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

	第4楼

OWL是做不到的，不过最近有很多这方面的研究。TopBraid Composer 可以做一些这种检查

2008/10/29 1:15:00

GoogleAdSense

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

	广告

2025/10/8 21:27:35

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

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


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