表判定算法相关硕士博士期刊学术论文 - 搜论网

表判定算法相关论文

描述逻辑的动态时序扩展

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一......

期刊

动态时序描述逻辑动作推理表判定算法语义Web服务

一类扩展的动态描述逻辑

作为描述逻辑的扩展，动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径雇将语义Web服务建模为动作之后，动态描述逻辑从动作......

期刊

动态描述逻辑动作推理动作的执行过程表判定算法语义Web服务

看过本文同时还关注