-- 发布时间：4/18/2007 9:35:00 PM
-- 关于SHOIN的构造算子集
无法确定SHOIN的构造算子是否包括传递闭包，所以想跟各位确认下SHOIN的构造算子，唉，实在是惭愧，基本功太不扎实了
此主题相关图片如下：
|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 关于SHOIN的构造算子集 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=45647) |
|
-- 作者：kitten_ice -- 发布时间：4/18/2007 9:35:00 PM -- 关于SHOIN的构造算子集 无法确定SHOIN的构造算子是否包括传递闭包，所以想跟各位确认下SHOIN的构造算子，唉，实在是惭愧，基本功太不扎实了 此主题相关图片如下：
|
|
-- 作者：iamwym -- 发布时间：4/19/2007 2:13:00 AM -- 包括 有H就有 |
|
-- 作者：kitten_ice -- 发布时间：4/19/2007 1:08:00 PM -- 老大，我还有个疑问：Inverseof和Transitive能不能算是Constructors?还是应该跟SubClassOf一样被称为Axioms? |
|
-- 作者：baojie -- 发布时间：4/24/2007 11:12:00 AM -- 不应该叫传递闭包（Transitive Closure），应该是传递属性(Transitive Roles)， SHOIN不包括Transitive Closure |
|
-- 作者：cyshooter -- 发布时间：4/24/2007 4:37:00 PM -- 传递闭包（Transitive Closure）是构子,可以作用在属性上;而传递属性(Transitive Roles)可以看成是特殊的属性
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |