以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Web Services & Semantic Web Services 』  (http://bbs.xml.org.cn/list.asp?boardid=10)
----  求教一个题目啊··有关DL的··  (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=88040)

--  作者：mandm88
--  发布时间：11/30/2010 1:47:00 AM

--  求教一个题目啊··有关DL的··
内容如下：
Either prove or refute the following Description Logic axiom
∀eats.Meat v ∃ eats.Meat

The subsumption
∀eats.Meat v ∃ eats.Meat
holds iff
∀eats.Meat u ¬(∃eats.Meat)
is inconsistent.
Bring into Negation Normal Form:
∀eats.Meat u ¬(∃eats.Meat) , ∀eats.Meat u ∀eats.(¬Meat)
Finally, construct the tableau:
A0 = {(8eats.Meat u 8eats.(¬Meat))(x)}
A1 = A0 [ {(8eats.Meat)(x), (8eats.(¬Meat))(x)}
No more rules are applicable. Therefore,
8eats.Meat u ¬(9eats.Meat) is consistent and the subsumption does not hold.
大虾们解答一下这个过程是怎么来的。。感谢啊

--  作者：mandm88
--  发布时间：11/30/2010 3:32:00 AM

--  
补充一下。。。∀ = 符号 "v"       ∃ 是E 反过来
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 46.875ms