简介:为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系;利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系;依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect,Side-effect和Common匹配,用以对匹配结果进行有意义的排序.实验结果表明,所提方法在召回率与现有方法相当的情况下,具有更高的查准率.更多还原
简介:本文首先从北京大学汉语语言学研究中心现代汉语语料库搜索了否定词与"或(者)"同现的其中100条例句,再按照其所表达的是a.p∨q,或者b.(p∨q)p∧q,或者是两者兼可进行归类,继而从中找出规律。结果发现表达合取式((p∨q))意义有四种规律:一是出现有标记的副词如并、一律、都等;二是"或(者)"的前后成分是同一类属性的名词;三是"或(者)"前后的成分属于对立或者不同现的谓词;四是整个事实都确定是否定的时候。而表达析取式(p∨q)的规律可以是出现"可能"、"可以"的标记形式;谓词是可以同时发生;以及当事实是有选择性的时候。当然也有两种形式都可以的情况,如"或(者)"的前后情况都可以独立存在,并且不会相互冲突。