...辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义（greatest fixed-points,gfp）模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠...
基于4个网页-相关网页
存在最大不动点语义 greatest fixed-points ; GFP
最大不动点语义
Maximum fixed point semantics
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动