|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 请问一下使用protege进行本体推理的问题 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=17879) |
|
-- 作者：ryan2001 -- 发布时间：5/4/2005 4:55:00 PM -- 请问一下使用protege进行本体推理的问题 请问一下，protege建类时，有一个asserted hierarchy，一般开始在这下面建类子类等，我都建了，但还有一个inferred hierarchy，却没法建立任何类，我觉得这必须经过推理才能建立的，只是不知道如何推理，请大家指点，我主要是想用OWLViz建立一个结构图，可是没有inferred hierarchy无法成功，这是怎么回事呢？ |
|
-- 作者：jiexincao -- 发布时间：5/4/2005 10:48:00 PM -- ProtegeOWLTutorial里面有。 建立了本体之后，连接推理机，比如racer，推理机会根据类的定义（充分、必要、充要条件）进行推理。 比如说已经建立类human，及其子类women，同时还有一个类unKnown。其中women的充要条件是human and ∨hasSex (∨hasSex female)。unKnown的必要条件是human and ∨hasSex (∨hasSex female)。这时推理机会将unKnown放到women类的子类的位置，推理结果出现在inferred hierarchy中。 好像是这样，例子不知道举错了没，好久没看protege了，错了的话请大家指教啊。 |
|
-- 作者：ryan2001 -- 发布时间：5/5/2005 10:55:00 PM -- 呵呵，多谢多谢，推理机是要下载的么？怎么用推理机呀，有没有一个教程，对了，仁兄现在不用pretege做语义网，用什么工具呢？ unknown的必要条件还包括是female呀，这说不通呀？ 谢谢指导！ |
|
-- 作者：dubistdumm -- 发布时间：5/7/2005 11:29:00 AM -- 你去google找ProtegeOWLTutorial.pdf这个文件,一找就能找到了,里面有详细的介绍,也有 race的下载地址. |
|
-- 作者：lingersoft -- 发布时间：5/10/2005 10:07:00 AM -- 有没有那位大侠在用Jess对Protege本体进行推理的研究呀，可以给点资料吗，老板逼着做，急用！ |
|
-- 作者：jiexincao -- 发布时间：5/11/2005 12:51:00 PM --
Tutorial里的例子也是建了一个未命名类，然后进行推理。我想这也是符合实际的，比如说你有了一个类，知道了它的定义（充分、必要、充要条件），然后通过推理在已有的类目树中找到它应该处的位置。 |
|
-- 作者：微生物 -- 发布时间：5/17/2005 12:45:00 PM -- to lingersoft 可到google上查查DAMLJessKB: A Tool for Reasoning with the Semantic Web一文， 它有个例子可以下载。 |
|
-- 作者：chris -- 发布时间：2/19/2006 12:34:00 PM -- 可Racer现在没地方下载了 谁能提供一下该软件阿 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
8,064.453ms |