摘要
描述逻辑是语义网的理论基础,文章首先对语义Web服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义Web服务的形式化定义。同时把语义Web服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成了新的语义Web服务,并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题。引入Tableau算法后,文章证明了新语义Web服务是可终止的,并给出了判断语义Web服务满足性的可判定过程,这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础。
Description logic is the theoretical basis of the semantic Web. Through depicting abstractly the input/output parameter type in semantic Web services, get the formal definition of semantic Web services. According to the description logic point of view, semantic Web services were mapped into a concept in the domain,by the combination of semantic Web services inductively define the new concept to form a new semantic Web services. Whether the new service makes sense depends on the satisfiability of the new concept of description logic. By introducing of Tableau algorithms,proved that the new semantic Web service can be terminated and given a decision procedure for satisfiability of semantic Web services. This work provides a theoretical basis for discovering and compositing the Web services under specific semantics.
出处
《计算机技术与发展》
2013年第1期87-90,94,共5页
Computer Technology and Development
