| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> 本版讨论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)/描述逻辑/本体 』 → 描述逻辑是一阶谓词逻辑的可判定的子集的说法不规范！
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 5125 个阅读者
 
|
|
||||||
  等级：大一(高数修炼中) 文章：7 积分：160 门派：XML.ORG.CN 注册：2009/2/24
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2009/3/4 18:57:00 | |||||||||
   威望：9 等级：计算机硕士学位(版主) 文章：2454 积分：17456 门派：XML.ORG.CN 注册：2004/11/14
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2009/3/5 21:20:00 | |||||||||
等级：大一(高数修炼中) 文章：7 积分：160 门派：XML.ORG.CN 注册：2009/2/24
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2009/3/6 13:44:00 | |||||||||
 等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2024/11/22 5:01:53 | |||||||||
| 本主题贴数3，分页： [1] |
| 管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
95.703ms |
新浪微博
描述逻辑是一阶谓词逻辑的可判定的子集的说法不规范！
