概念可满足性相关硕士博士期刊学术论文 - 信丰网

概念可满足性相关论文

基于描述逻辑的时态扩充研究及应用

近年来，描述逻辑由于其强大的表达能力和良好的计算性质，在知识工程领域受到广泛关注。但是，描述逻辑适用于表达静态信息，难以表示在许......

学位

描述逻辑时态扩展概念可满足性时态信息 ALC语言

基于描述逻辑的语义Web知识推理研究

描述逻辑（Description Logic）是基于对象的知识表示的形式化,它依据提供的构造器,在简单的概念和关系上构造出复杂的概念和关系.本文......

学位

语义Web 描述逻辑 ALC ALC~+ 概念可满足性 tableau OWL

看过本文同时还关注