|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 请问关于描述逻辑中部分与整体（PartOf）关系的表达 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=77870) |
|
-- 作者：lixs2007 -- 发布时间：10/19/2009 4:23:00 PM -- 请问关于描述逻辑中部分与整体（PartOf）关系的表达 都说描述逻辑与一阶逻辑、集合论等工具相比的优点之一是能表达部分与整体关系（黄教授在语义网暑期学校也进行了相关的说明） 那么，在描述逻辑的系统中，是如何用符号、公理去表达这样关系的？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |