摘要
描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题。通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程。这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用。
Description logic is the theoretical basis of the Semantic Web.Through depicting abstractly the input/output parameters type in semantic Web services,we get formal definition of semantic Web services first according to the description logic theory.In terms of description logic,semantic Web services are mapped onto a concept in a certain domain,the combination of semantic Web services is regard as the formation of a new semantic Web services.Whether the new service makes sense or not depends on the satisfiability of the new concept of description logic.In this paper,by introducing the Tableau algorithm,we prove that the new semantic Web service can be terminated and give a decidable procedure for the satisfiability of semantic Web services.This work provides a theoretical basis for discovering and compositing the Web services in specific semantics,and has great guiding significance.
出处
《计算机应用与软件》
CSCD
北大核心
2012年第9期156-158,161,共4页
Computer Applications and Software
基金
山西省自然科学基金项目(2008011029-1)