|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (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=14906) |
|
-- 作者：xlee_grace -- 发布时间：3/1/2005 9:39:00 AM -- 请问一个翻译问题 More general settings for concept definitions have recently received some atten- tion, deriving from attempts to establish formal relationships between Description Logics and other formalisms and from attempts to satisfy a need for increased ex- pressive power. In particular, the admission of cyclic definitions has led to different semantic interpretations of the declarations, known as greatest/least fixed-point, and descriptive semantics. Although it has been argued that different semantics may be adopted depending on the target application, the more commonly adopted one is descriptive semantics, which simply requires that all the declarations be sat- isfied in the interpretation. Moreover, by dropping the requirement that on the left-hand side of a definition there can only be an atomic concept name, one can consider so-called (general) inclusion axioms of the form C v D where C and D are arbitrary concept expressions. Notice that a concept defini- tion can be expressed by two general inclusions. As a result of several theoretical studies concerning both the decidability of and implementation techniques for cyclic TBoxes, the most recent DL systems admit rather powerful constructs for defining concepts. 这段话应该怎么翻译,特别是红色标记的词语是什么意思,请各位xdjm指点一下,谢谢了 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |