论文部分内容阅读
时序描述逻辑能够通过概念(或个体)问的时序关系描述动态领域的时序行为。时序概念的表现形式具有多样性，而其推理算法却常常是不可判定的。本文提出时序描述逻辑TL-SI，将时序网络间的蕴含算法、时序概念间的蕴含算法以及非时序概念的Tableau算法有机结合起来，并证明了三种算法的可靠性和完备性。
该逻辑可以有效表示动作行为，实现了可判定的逻辑推理，为语义Web服务的行为描述提供了有力支持。