| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。 |
 [返回] 中文XML论坛 - 专业的XML技术讨论区 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 关于Tableau算法的说明（从描述逻辑手册翻译整理）
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 21023 个阅读者
 
|
|
||||||
  等级：大三(要不要学学XML呢?) 文章：27 积分：562 门派：XML.ORG.CN 注册：2004/9/13
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2008/9/19 11:17:00 | |||||||||
  等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2024/5/24 22:39:15 | |||||||||
| 本主题贴数9，分页： [1] |
| *树形目录 （最近20个回帖） |  顶端 |
|---|---|
主题：  关于Tableau算法的说明（从描述逻辑手册翻译整理）(336字) － duxiong，2008年9月19日 | |
| 回复： 谢谢(4字) － 海豚_128，2012年12月25日 | |
回复：  描述逻辑文献中的Tableau算法介绍比较晦涩。其实Tableau算法是适合自动证明的一阶逻辑算法..(326字) － Kejia，2010年12月2日 | |
| 回复： 谢谢！帮了很大的忙！(22字) － sophiazsj，2010年11月23日 | |
| 回复： 一直对描述逻辑没有深入到的理解。多谢lz的东西。(46字) － xpg0312，2010年4月12日 | |
| 回复： 好好学习，天天向上！(20字) － Avansky，2010年4月11日 | |
| 回复： 感谢！(6字) － xieyibupt，2010年3月21日 | |
| 回复： 感谢！(6字) － xiaoqi1220，2008年10月22日 | |
| 回复： 感谢！(6字) － hworld，2008年11月3日 | |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
125.000ms |
新浪微博
