1) Semantical imply
语义导出
2) semantic navigation
语义导航
1.
Service oriented semantic navigation of enterprise data;
面向服务的企业数据语义导航
3) semantic import
语义导入
1.
In this paper,we propose a new import primitive,called semantic import,to facilitate partial ontology reuse.
基于此,提出一种新的导入原型:语义导入。
4) semantic directed
语义制导
5) syntax-directed definition
语法制导定义
6) "An Introduction to Fuzzy Semantics"
《模糊语义学导论》
1.
A Semantics Work with Rigorous System and Accurate Content——Comment on LI Qianju s "An Introduction to Fuzzy Semantics";
一部体系严谨、内容翔实的语义学著作──评黎千驹《模糊语义学导论》
补充资料：导出法则
导出法则
derived rule
导出法则l山幼，目n此;npo”翔口“oe np姗月。]，给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出，则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中，由于 AOB，BOC卜A，C成立，所以推演法则 A OB，B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的，但它不是一个导出法则.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条