基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,......

动态时序描述逻辑（DLTLDL）是一类描述逻辑的动态时序扩展.提出一种基于DL TLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知......

动态描述逻辑在描述逻辑的基础上引入了动态维，用于描述和推理动态领域的知识，但目前缺少有效的判定算法作为支撑。文中以描述逻辑AL......

动态描述逻辑DDL（dynamic description logic）提供了一种基于描述逻辑的动作理论，适用于语义Web环境下对动态领域知识的刻画和推理．为......

为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQ......

情景演算对于动作理论的描述具有很强的表达能力，但是其推理算法具有不可判定性。在描述逻辑AL-CO^@的基础上，构建基于描述逻辑的动......

应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准......

动态描述逻辑提供了一种基于描述逻辑的动作理论,适应于语义web环境下对动态领域知识的刻画和推理,是目前语义web服务技术的重要研......