描述逻辑(Description Logic)作为基于对象的知识表示的形式化工具,广泛地应用在信息系统、数据库、软件工程、自然语言处理和网络......

主要研究面向语义Web和数据模型的描述逻辑的语义及推理，以及描述逻辑循环术语集的语义及推理。 主要工作和创新点包括以下几个......

描述逻辑(DL)是一族知识表示形式系统，是人工智能领域的一个热门研究方向。以Baader F和Nebel B为代表的学者在描述逻辑上进行了大......

循环术语集推理是描述逻辑研究中面；晦的难点问题，尚未得到很好的解决．有序．2-叉决策图（orderedbinarydecisiondiagram，简称OBDD）是一种对......

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中......

循环术语集是描述逻辑长期以来的研究难点，其最基本的问题即语义及推理问题没有得到合理的解决．分析了描述逻辑循环术语集的研究现状......

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现......

循环术语集是描述逻辑长期以来的研究难点，它的最基本的问题即语义及推理问题没有得到合理的解决，文中分析了描述逻辑循环术语集的研......

描述逻辑（DL）一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直......