该论文探讨了描述逻辑的概念及其特点，分析了描述逻辑与OWL的关系，介绍了多种机器学习方法在本体学习中的应用，提出了基于描述逻辑的规划新方案，并研究了自动规划方法在智能环境中的应用，最后展示了OWLOOP API的优缺点。

本文研究了概率语义在描述逻辑知识库中的应用，提出了新的推理方法和查询重写技术，以提高知识库的查询准确性和处理能力。

本文探讨了描述逻辑及其推理的计算复杂性，包括可判定性和复杂度的多种情况。研究了不同逻辑的组合复杂性，提出了高效的模型采样算法，并探讨了广义一阶决策图的启发式推理算法及其应用。

本文研究了描述逻辑中的查询回答，提出了基于树模型和自动机算法的解决方案，探讨了不同角色的可满足性及其复杂性，分析了有限本体中介查询的可决定性，并介绍了多种算法和优化技术，为信息系统的发展奠定了基础。

该论文介绍了描述逻辑的特性，并首次引入了普遍量化的概念。作者提出了两种扩展的语义模型，包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明，在某些扩展的语义中，所得出的结论与经典的描述逻辑相符，并证明了某种程度上用于这种扩展的算法的多项式可判定性。