|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 描述逻辑扩展后还能不能来表示本体? (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=86355) |
|
-- 作者：tommy114 -- 发布时间：8/20/2010 11:02:00 AM -- 描述逻辑扩展后还能不能来表示本体? 我们都知道描述逻辑是owl的逻辑基础,两者之间有对应的关系. 如果将描述逻辑扩展(如在时间上的描述逻辑扩展),那么和owl还能对应上吗?还能称为本体的知识表示方式吗? |
|
-- 作者：admin -- 发布时间：8/20/2010 7:54:00 PM -- 那需要对OWL作相应的扩展。不认为，跟“作为本体的知识表示方式”有何冲突 |
|
-- 作者：tommy114 -- 发布时间：8/20/2010 9:30:00 PM -- 谢谢您的解答. 呵,我也是这样认为的,但没人能讨论,不敢确定. 我是准备用时序的描述逻辑来表示过程本体. |
|
-- 作者：lsp_jlu -- 发布时间：8/23/2010 1:05:00 PM -- 不错的想法，但要确定扩展之后的逻辑是否还能保持可判定约束？ 不然就不再是描述逻辑了，可能就蜕变为一阶逻辑。 |
|
-- 作者：gqi -- 发布时间：8/24/2010 7:52:00 PM -- 如果你是用模态词来扩展描述逻辑的话，好像是不能用OWL来提供语法上的支持的。那么如何扩展OWL表示时序知识还是挺有意思的。 |
|
-- 作者：will2000d -- 发布时间：8/25/2010 9:40:00 PM -- 貌似 本体的表示有很多中方法,可是表示粒度(表达能力)有所不同吧, 当然带来的计算复杂度也不一样. 用一阶逻辑当然可用表达本体阿, 而且还很强. 所以扩展的描述逻辑当然可以表达本体 5楼的owl怎么表达时序呢? 迷惑不解中,请达人指点下 |
|
-- 作者：will2000d -- 发布时间：8/25/2010 9:44:00 PM -- 我理解的本体就是一种最基本的知识体吧,那怕是用汉字表达的,只要具有形式化的清晰的,并且具有概念话的特征,就可以叫本体阿. 这个意义上UML和一阶逻辑也是可以表达这个过程本体的. 不过我觉得奇怪的是 如果用一阶逻辑可以表达过程本体的话,那为什么我们没有把程序设计语言(如C语言)表达的过程也叫本体呢? |
|
-- 作者：Humphrey -- 发布时间：8/26/2010 10:44:00 AM -- 是否可以表达是一个问题，是否具备后向兼容性又是一个问题。 理论上复杂的关系可以分解为简单的关系，但是逻辑关系扩展之后是否能够兼容以前的内容也是应该好好考虑的。 |
|
-- 作者：gqi -- 发布时间：8/27/2010 10:11:00 PM -- 请注意楼主的问题是用OWL或者OWL的扩展来表示时序知识，跟一阶逻辑没什么关系。OWL对于DL(描述逻辑）。而OWL的时序扩展对于temporal OWL DL。但是语法上不知道如何扩展OWL来表达时序知识，我想应该不会是太难的问题。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
66.406ms |