[发明专利]基于时态描述逻辑ALC-μ的语义物联网服务验证方法和系统有效

专利信息
申请号: 201611256846.7 申请日: 2016-12-30
公开(公告)号: CN106657106B 公开(公告)日: 2019-11-08
发明(设计)人: 常亮;韩乔;古天龙;徐周波;张舜尧;祝曼丽 申请(专利权)人: 桂林电子科技大学
主分类号: H04L29/06 分类号: H04L29/06;H04L29/08;G06N5/02
代理公司: 北京轻创知识产权代理有限公司 11212 代理人: 杨立;周玉婷
地址: 541004 广西*** 国省代码: 广西;45
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 基于 时态 描述 逻辑 alc 语义 联网 服务 验证 方法 系统
【权利要求书】:

1.一种基于时态描述逻辑ALC-μ的语义物联网服务验证方法,其特征在于,包括如下步骤:

步骤S1:根据语义物联网服务的应用环境和描述逻辑方法构建包含语义物联网服务的背景知识库K;

步骤S2:根据时态描述逻辑ALC-μ公式φ1对背景知识库K中待验证的语义物联网服务的性质进行描述,得到待验证的语义物联网服务性质的公式φ2

步骤S3:根据待验证的语义物联网服务性质的公式φ2进行建模,得到状态转移系统模型M;

步骤S4:将待验证的语义物联网服务中的原子服务的语义进行断言,并构造符合原子服务的断言集合,并将断言集合存入背景知识库K中;

步骤S5:根据断言集合对在设定状态S下的状态转移系统模型M性质的正确性进行验证;

所述步骤S2中根据时态描述逻辑ALC-μ公式φ1对背景知识库K中待验证的语义物联网服务的性质进行描述,得到公式φ2

其中,C∈NC,R∈NR,p,q∈NI,NC为概念名集合、NR为角色名集合和NI为个体名集合,<->φ2表示从当前状态到下一状态的转换关系,C为概念,R为角色,C(p)为概念断言,R(p,q)为角色断言,设VAR={X1,X2,X3…}为关联变量集合,X∈VAR,μ是最小不动点的限制符,ν是最大不动点的限制符,∧、∨为逻辑运算符号;

所述状态转移系统模型M包括五元组M=(T,S,s0,Q,L),其中T表示TBox T集合,S表示非空状态集,s0表示初始状态,L为在状态S为真的概念和角色断言;其中S×Act×S表示从第一个状态经过动作转换到下一个状态,Act为动作标签的集合。

2.根据权利要求1所述基于时态描述逻辑ALC-μ的语义物联网服务验证方法,其特征在于,所述步骤S1包括:

步骤S1.1:提取语义物联网服务的应用环境中的信息,将提取的一条信息作为一条概念,并将该概念分类为概念名集合NC、角色名集合NR和个体名集合NI

步骤S1.2:根据概念名集合NC、角色名集合NR和个体名集合NI构建背景知识库K,所述背景知识库K包括TBox T集合和ABox A集合,记为K=<T,A>,所述TBox T集合是在概念名集合NC的基础上,由概念或概念定义式所组成的有限集合,所述ABox A集合用于表示具体的对象,ABox A集合是概念断言或角色断言组成的集合,每个断言根据概念名集合NC中的概念名或角色名集合NR中的角色名连同个体名集合NI个体名中的组合而成。

3.根据权利要求2所述基于时态描述逻辑ALC-μ的语义物联网服务验证方法,其特征在于,所述步骤S5包括:根据递归算法将状态转移系统模型M进行分解,得到ABox A集合的断言β,判断在状态转移系统模型M的设定状态S下断言β是否满足ABox A集合,如果满足,则得到设定状态S下状态转移系统模型M性质正确的结论,否则得到设定状态S下状态转移系统模型M性质不正确的结论。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于桂林电子科技大学,未经桂林电子科技大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/201611256846.7/1.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top