开世界假设相关论文
描述逻辑是语义Web的逻辑基础,它为本体的知识表达、逻辑推理等提供必要的理论依据。随着Web中本体数量与规模的增加,如何对这些本......
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算......