计算机应用与软件2012，Vol.29Issue(9)：156-158,161,4.DOI:10.3969/j.issn.1000-386x.2012.09.042
语义Web服务的形式化与满足性研究
ON FORMALISATION AND SATISFIABILITY OF SEMANTIC WEB SERVICES
摘要
Abstract
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.关键词
语义Web/描述逻辑/语义Web服务Key words
Semantic Web/Description logic/Semantic Web Services分类
信息技术与安全科学引用本文复制引用
段跃兴,段之宇..语义Web服务的形式化与满足性研究[J].计算机应用与软件,2012,29(9):156-158,161,4.基金项目
山西省自然科学基金项目(2008011029-1). （2008011029-1）
