|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 本体推理问题---推理机会不会自动产生个体 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=54367) |
|
-- 作者：showlrr -- 发布时间：10/25/2007 6:55:00 PM -- 本体推理问题---推理机会不会自动产生个体 例如类A -----类B， 定义A一个个体a， A有属性（比如说eat）allvaluefrom B的限制 可不可以推理出类B的实例 b，a （eat） b 等待高手帮忙解答 上面理论上是通的，可是使用推理机racer并没有得到b的结果
|
|
-- 作者：wolfel -- 发布时间：10/25/2007 8:56:00 PM -- 这是肯定的啊，你一开始又没有预先申明b是B的个体，当然不会推出B(b)了
|
|
-- 作者：showlrr -- 发布时间：10/26/2007 12:27:00 AM -- 谢谢楼上的回答，但是如果我定义了b是B的实例 一样也推理不到结果 可能是因为a eat 的对象是B，但不一定就是b， 也可能是其他实例（虽然我们并没有定义） 所以得不到 a eat b
|
|
-- 作者：wolfel -- 发布时间：10/26/2007 2:44:00 AM -- 不可能啊，你是定义下面这个公理么？ A \sqsubseteq \forall Eat.B B(b), A(a), 那肯定可以推到 Eat(a,b)，否则就违背了描述逻辑的语义了 [此贴子已经被作者于2007-10-26 14:46:25编辑过]
|
|
-- 作者：wjwenoch -- 发布时间：10/26/2007 5:08:00 AM -- Two straightforward method: 1. Assert that the range of EAT is B. 2. Add an axiom: A implies ForAll EAT.B. (Actually this is the same as method 1: if you add a GCI like TOP implies ForAll EAT.B, then it is exactly the same as setting the range for EAT.) |
|
-- 作者：bzbc -- 发布时间：10/26/2007 9:00:00 AM -- 高手真多 |
|
-- 作者：showlrr -- 发布时间：10/26/2007 4:13:00 PM -- wolfel 我这里不能引用了 我是用protege里all values from定义的， 不知道和你的有何区别 我的这个本体用racer pro 1.90可以推，用fact++1.5就会出现malformed request错误... |
|
-- 作者：showlrr -- 发布时间：10/26/2007 4:18:00 PM -- 作者：wjwenoch -- 发布时间：2007-10-26 5:08:00 -- 我已经设置了eat的range B 是不是这样的： 如果是应该如何解决
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
60.547ms |