|
以文本方式查看主题 - 计算机科学论坛 (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=33864) |
|
-- 作者：murkylight -- 发布时间：6/5/2006 11:57:00 PM -- [弱弱地又问] 有什么语言可以用来描述基于本体的逻辑表达式？ 刚刚开始看一点语义Web的内容，菜鸟提问， 大家不要嫌弃。 m(_ _)m 我想了解， 有什么语言可以用来表示基于本体的逻辑表达式？ 又有什么工具可以处理这些语言？ 在我的理解里，语义Web服务的那些precondition与effect之类的，应该都是这种基于本体的逻辑表达式吧？？ |
|
-- 作者：iamwym -- 发布时间：6/6/2006 1:38:00 AM -- owl |
|
-- 作者：murkylight -- 发布时间：6/6/2006 9:19:00 AM -- 谢谢你的回答。 我明白OWL可以用来描述本体， 但是它也可以用来表示“基于本体的逻辑表达式”吗？ 我不知道我的说法是否正确， 但是我想问的意思是：“有哪些语言可以描述逻辑表达式，表达式中的项可以是OWL中的实体， 并且有哪些工具可以来处理这种语言？” |
|
-- 作者：MerryZhang -- 发布时间：6/6/2006 9:56:00 AM --
其中OWL-DL就是专门表达描述逻辑的，目前RACE, KAON2等都可以对于OWL进行推理的。 |
|
-- 作者：happy++ -- 发布时间：6/6/2006 5:24:00 PM -- 目前逻辑表达式一般表示为一个字符串或XML串，再由解析器解析 通过XML串表示的语言如：SWRL 通过字符串表示的语言如：KIF 具体的内容lz自己查一下了 |
|
-- 作者：murkylight -- 发布时间：6/6/2006 8:54:00 PM -- 谢谢各位！ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
1,234.375ms |