基于SAT的语义Web服务发现
当前主流的语义web服务发现方法：用本体来描述web服务;用DL推理机来实现语义Web服务的匹配。这种方法存在的问题有：①web服务涉及各个领域，故要构建如此大规模的本体是极其困难的;②DL推理机的运行效率是比较差的。为了解决这些问题，本文提出一种基于SAT(命题逻辑可满足性问题)的语义Web服务发现方法：用描述逻辑的概念表达式来描述Web服务，借助于WordNet把服务的语义匹配问题转换为命题逻辑可满足性的验证问题，再调用现有的SAT判决器来实现语义Web服务的匹配。
服务发现 语义Web服务 描述逻辑 概念表达式 语义匹配
项高友 黄志球
南京航空航天大学信息科学与技术学院 210016
国内会议
山东烟台
中文
1553-1556
2008-10-31（万方平台首次上网日期，不代表论文的发表时间）