|
以文本方式查看主题 - W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- jena推理里TBOX和ABOX定义的问题 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=72508) |
|
-- 作者：dulm -- 发布时间：3/2/2009 4:32:00 PM -- jena推理里TBOX和ABOX定义的问题 jena里推理对于TBOX和ABOX既可以分离也可以合在一起 （1）TBOX和ABOX分离 Model tBox = ModelFactory.createDefaultModel(); tBox.read( tBoxURI ); Model aBox = ModelFactory.createDefaultModel(); aBox.read( aBoxURI ); Reasoner reasoner = ReasonerRegistry.getOWLReasoner().bindSchema( tBox ); OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_MEM_RULE_INF ); spec.setReasoner( reasoner ); OntModel m = ModelFactory.createOntologyModel( spec, aBox ); （2）TBOX和ABOX合在一起 Model taBox = ModelFactory.createDefaultModel(); tBox.read( taBoxURI ); OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_MEM_RULE_INF ); OntModel m = ModelFactory.createOntologyModel( spec, taBox );
4.关于推理，我如果要添加用户自定义规则，又还需要owl内的规则。这时候我把拥有用户自定义规则的reasoner作用于经过owl规则推理过的infmodel。这样自定义规则推理出来添加的新3元组是有可能触发owl规则的，但是我把owl规则推理过的infmodel作为第二次推理的basemodel了，这样会不会触发owl规则。 |
|
-- 作者：dulm -- 发布时间：3/9/2009 3:44:00 PM -- 顶~，第3项迫切求答案。 如果一些类是枚举类，枚举的instance要放abox还是tbox。 |
|
-- 作者：jpz6311whu -- 发布时间：3/12/2009 3:38:00 PM -- 1.（1）分离的效率是否比（2）合在一起高？ --程序是一样的，只是接口不一样而已，所以效率应该是一样，楼主可以测试一下。。 2.（2）中spec是否已默认bind了owl和rdf的schema？ --绑定了 3.protege中写完本体后abox和tbox混在一起的atbox，它import了第3方本体。我们把它手工分离后成abox和tbox后，abox和tbox是否需要相互import？abox和tbox是否都要import第3方本体。 --import是一个流水引用过程:a import b， b import c， c import d。其中，a, b ,c, d可以是不同的本体库，可以是 abox也可以是tbox。但是不能循环import，也就是说，互相import是不行的。 |
|
-- 作者：jpz6311whu -- 发布时间：3/12/2009 3:40:00 PM -- 顶~，第3项迫切求答案。 如果一些类是枚举类，枚举的instance要放abox还是tbox。 --都可以，其实abox和tbox很难完全清晰的分开 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
39.063ms |