|
以文本方式查看主题 - W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL (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=74896) |
|
-- 作者：lsp_jlu -- 发布时间：5/18/2009 10:52:00 AM -- 请教：在描述逻辑中如何表示多元关系？ 描述逻辑是可判定子集，它中原语分为概念和关系，而关系仅仅是二元关系。请问如何表示多元关系，是否需要引入一些新的算子？在一阶逻辑中，谓词中变元也可以一个谓词，这个策略可否引入到描述逻辑中，这样会不会就造成了不可判定的问题？ 另：在进程代数中，存在顺序、选择和并发等算子，这些可否引入到描述逻辑中关系之间呢？ |
|
-- 作者：iamwym -- 发布时间：5/19/2009 3:18:00 PM -- 分解成二元关系。。。听起来比较蠢，其实sw基础就是2元关系 |
|
-- 作者：ICT_RemyChan -- 发布时间：4/13/2010 3:20:00 PM -- 这个估计需要独立出个个体然后把那些作为属性吧？ 譬如 R(a,b,c,d)，可以独立出一个个体I，它第一个属性是a，第二个属性是b，。。。 R1（I，a）、R2（I，b）。。。 至于存在顺序、选择和并发等算子，这个或许能看作一类表示动作的个体，这类工作也有不少，fluent calculus, situation calculus等，还有在描述逻辑基础上的一些动作理论等。怎么干，还是看实际的任务需要吧 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
82.031ms |