期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
程序控制结构的偏加语义
1
作者 游梦良 李师贤 《中山大学学报论丛》 1996年第6期92-99,共8页
介绍程序控制结构的偏加语义.首先对程序语言的结构(包括顺序、条件、循环等)进行函数化,然后引出程序语义的描述工具——偏加范畴。
关键词 范畴 积与并积 偏加范畴 卫哨布尔代数 断言语义
下载PDF
New method for query answering in semantic web 被引量:1
2
作者 林培光 刘弘 +1 位作者 樊孝忠 王涛 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期319-323,共5页
To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward... To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval. 展开更多
关键词 description logic assertional graph semantic web information retrieval
下载PDF
动词内隐性否定的语义层次和溢出条件 被引量:73
3
作者 袁毓林 《中国语文》 CSSCI 北大核心 2012年第2期99-113,191,共15页
本文通过考察"防止、避免、差、欠、拒绝、否认、小心、后悔、责怪、怀疑"等类动词的语义结构和句法表现,分别讨论其所含的隐性否定的语义层次(断言、推论、预设);用动词内隐性否定的语义溢出来解释相关句子中冗余性的多重否... 本文通过考察"防止、避免、差、欠、拒绝、否认、小心、后悔、责怪、怀疑"等类动词的语义结构和句法表现,分别讨论其所含的隐性否定的语义层次(断言、推论、预设);用动词内隐性否定的语义溢出来解释相关句子中冗余性的多重否定,着重于确定动词内隐性否定的语义溢出和词汇实现的句法语义条件;并且,尝试用动词内隐性否定的语义溢出和语义倒灌等隐喻性概念,揭示动词"怀疑"有意义相反的两个义项("不相信"vs."相信、猜测")及其在分布上呈现出互补状态的句法语义机制。 展开更多
关键词 隐性否定 语义层次(断言/推论/预设) 语义溢出 多重否定 语义倒灌
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部