以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请问说一个ABOX是consistent的,这个怎么翻译呢?什么意思?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=13757)


--  作者:xiaolee
--  发布时间:1/18/2005 4:28:00 PM

--  请问说一个ABOX是consistent的,这个怎么翻译呢?什么意思?
An ABOX A is consistent w.r.t. TBOX T

这个cosistent什么意思?一致的?连续的?

还有,说一个解释I是一个概念A的model,这个model怎么翻译呢?


--  作者:iamwym
--  发布时间:1/18/2005 6:39:00 PM

--  
一致的
模型
--  作者:sleepyboy
--  发布时间:1/18/2005 7:49:00 PM

--  
顶楼上的
--  作者:wason21cn
--  发布时间:1/18/2005 7:56:00 PM

--  
也可以说 正确的, 这里所说的 An ABOX A is consistent w.r.t. TBOX T 是指对于所有ABox的model也是TBox的model,model是一个解释,是一个可以满足ABox或者TBox的解释。
--  作者:xiaolee
--  发布时间:1/19/2005 10:20:00 AM

--  
了解,多谢·!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
1,746.094ms