| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。 |
 [返回] 计算机科学论坛 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → F-logic, HiLog ,Transaction Logic, horn logic,first order logic,discription logic 分别是什么逻辑呀？
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 4818 个阅读者
 
|
|
||||||
  等级：大一新生 文章：0 积分：52 门派：XML.ORG.CN 注册：2006/12/14
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2006/12/14 21:23:00 | |||||||||
 威望：6 等级：研一(彻夜钻研J2EE) 文章：504 积分：3396 门派：XML.ORG.CN 注册：2005/4/22
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2006/12/17 10:09:00 | |||||||||
   威望：9 头衔：W3China站长 等级：计算机硕士学位(管理员) 文章：5255 积分：18407 门派：W3CHINA.ORG 注册：2003/10/5
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| |||||||||
| 2006/12/18 0:14:00 | ||||||||||
等级：大二期末(数据结构考了98分!) 文章：29 积分：324 门派：W3CHINA.ORG 注册：2006/7/13
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2006/12/18 9:16:00 | |||||||||
  威望：1 等级：大三(面向对象是个好东东!) 文章：82 积分：755 门派：XML.ORG.CN 注册：2006/5/15
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2006/12/20 14:55:00 | |||||||||
 等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2025/10/4 7:29:00 | |||||||||
| 本主题贴数5，分页： [1] |
| 管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
125.000ms |
新浪微博
F-logic, HiLog ,Transaction Logic, horn logic,first order logic,discription logic 分别是什么逻辑呀？
