切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
描述逻辑SHIOQ的时态扩展
描述逻辑SHIOQ的时态扩展
来源 :现代计算机:下半月版 | 被引量 : 0次 | 上传用户:moxiaomi521
【摘 要】
:
分析描述逻辑时态扩展的优缺点,同时结合实际应用需求,将时间当作具体领域加入到描述逻辑中来处理,给出带时态扩展的描述逻辑SHIOQ(T)的形式化描述,并给出SHIOQ(T)中概念、关系和
【作 者】
:
王富彬
【机 构】
:
云南师范大学计算机科学与信息技术学院
【出 处】
:
现代计算机:下半月版
【发表日期】
:
2010年10期
【关键词】
:
描述逻辑
时态逻辑
具体领域
Description Logic
Temporal Logic
Concrete Domain
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析描述逻辑时态扩展的优缺点,同时结合实际应用需求,将时间当作具体领域加入到描述逻辑中来处理,给出带时态扩展的描述逻辑SHIOQ(T)的形式化描述,并给出SHIOQ(T)中概念、关系和实例的描述形式以及它们的语义解释,从而方便地实现时态知识的表达和推理。
其他文献
近炸引信雨场干扰的概率模型
从自然雨场特性出发,结合近炸引信在雨场中飞行的具体情况,推导出雨场空间含雨滴数的概率模型,引信在雨场中飞行时头部碰雨的概率模型,其中包括相邻碰雨时间间隔△T_i的分布,
期刊
近炸引信
雨场
干扰
概率模型
proximity fuze
rain field
interference
基于语义的微博短信息分类
基于研究微博作者兴趣挖掘问题,探讨微博中短信息的分类,结合《知网》本体库,将关键词映射到语义概念,并用语义KNN分类算法实现对短信息的分类,经过实验证明,基于语义扩展后
期刊
微博
短信息
知网
语义扩展
KNN算法
MicroBlog
Short Message
HowNet
Semantic Extension
KNN A
落实科学发展观 构建和谐大都市
中央提出用科学发展观统领全局后,两会提出了构建和谐社会的奋斗目标。全面落实科学发展观,构建和谐社会也是我国城市建设工作的根本纲领、基本方针和奋斗目标。
期刊
科学发展观
和谐
大都市
城市建设工作
奋斗目标
全面落实
基本方针
社会
中央
两会
宁夏灌区小麦赤霉病菌子囊壳分布型及序贯抽样技术的研究
带菌残体上形成的子囊孢子是本区小麦赤霉病的重要侵染来源。本文用Taylor指数、Iwao公式,扩散系数C,平均拥挤度M和K常数,判断宁夏灌区小麦赤霉病子囊壳在稻茬和高梁残体上的
期刊
小麦赤霉病
子囊壳
分布型
序贯抽样技术
whert head blight perithecium distribution type sequencial
综合开发黄河资源 发展宁夏黄河经济——关于宁夏开发利用黄河的调查
自治区党委书记黄璜同志通过调查研究,撰写了《综合开发黄河资源,发展宁夏黄河经济》的调查报告,高瞻远瞩的提出发展黄河经济的战略构想,把黄河农业上升到黄河经济,不仅抓住
期刊
黄璜
农业开发
“八五”计划
总体发展规划
护岸工程
农业优势
咽喉要道
塞上江南
水利专家
粮食生产
某高压火炮中的压力波分析
在某高膛压火炮的研制中,发现其膛内P-t曲线有“阶跃”现象,压差曲线表明其压力波较大。通过点火机构及装药结构的改进,压力波现象有明显改善。可见,在高装填密度的火炮中,点
期刊
压力波
装药结构
点火性能
弹道性能
膛压
发射药
药室
装填密度
阶跃
可燃药筒
永磁场提高电解加工尺寸精度的试验研究
本文提出在电解加工装置上叠加永磁体磁场的方案,分析了在叠加的磁场与阴极进给方向垂直和平行的条件下加工钢质工件时磁力线的分布状况;分析了单独叠加永磁场和同时叠加电磁
期刊
电解加工
磁力线分布
工件尺寸精度
永磁场工装结构
试验
ECM
magnetic flux
permanent magnet
场方法对积分Чаплыин非完善系统...
给出积分非完整系统运动方程的场方法,并举例说明新方法的应用。
期刊
非完整系统
场方法
积分
nonholonomic systems
field method
依靠人才实现强国战略
人才强国战略,顾名思义,就是依靠人才实现国家富强的战略。通过加强人才培养,造就一支结构合理、素质优良、规模宏大的人才队伍,将我国由人口大国发展成人才强国,这是强国战略的基
期刊
人才强国战略
“十一五”
国家富强
人才培养
结构合理
人才队伍
人口大国
基本内涵
人才战略
规划编制
体系建设
人力资源
造就
规模
应用内弹道势平衡理论的无后座炮内弹道解法
根据1984年所发表的“内弹道势平衡理论的应用”,本文论证了确定无后座炮中同时发生的火炮过程与火箭过程之间的分界面的方法,从而提供一种排除火箭过程的无后座炮内弹道解法
期刊
内弹道
药室容积
装药
发射过程
火炮结构
弹丸运动
药形
年所
计算曲线
实测曲线
与本文相关的学术论文