合一类型相关硕士博士期刊学术论文 - 搜论网

合一类型相关论文

描述逻辑FLε合一算法

描述逻辑（DL）一族知识表示系统，是一个非常热门的研究方向。一方面，重要的推理问题如包含问题是多项式得；另一方面，FLε被用做定义大的本......

期刊

描述逻辑 FLε 合一算法合一类型可判定性 Description Logics FL8 Unification The type of unificati

描述逻辑FLε的合一算法

描述逻辑FLε最近获得了比较大的关注。一方面，重要的推理问题（如包含问题）是多项式的；另一方面FLε被用做定义大的本体。变量概念的合......

学位

描述逻辑 FLε 合一算法合一类型可判定性

看过本文同时还关注