论文部分内容阅读
经典描述逻辑基于一阶谓词演算,用于本体描述语言,存在表达力与计算复杂性这一对矛盾。基于互逆主义逻辑,本文提出互逆主义描述逻辑。它取消了量词,增加了二层假言推理，较好地解决了表达力与可解性的矛盾。此前的本体都是一层本体。本文提出二层本体。
互逆主义描述逻辑与二层本体
【摘 要】
：
经典描述逻辑基于一阶谓词演算,用于本体描述语言,存在表达力与计算复杂性这一对矛盾。基于互逆主义逻辑,本文提出互逆主义描述逻辑。它取消了量词,增加了二层假言推理，较好地
【机 构】
：
北京联合大学信息技术研究所 北京 100101
【出 处】
：
中国计算机用户协会网络应用分会2007年网络技术与应用年会
【发表日期】
：
2007年期
其他文献
通用移动性管理(GMM)是下一代网络研究的一个重要方面。移动IPv6(MIPv6)充分利用了IPv6协议对移动性的内在支持,在移动通信中发挥着重要作用。本文对NGN的网络层移动性管理协
互联网上采用C/S模式进行信息共享及访问的方式存在着中心服务器负载过重、单点失效及响应延时等问题，针对这些问题，本文提出了一个基于P2P的信息获取系统ICover。P2P网络上的
会议
本文是在研究基于SNMPv3的安全网管系统的性能的基础上,提出一种新的解决方案,通过扩展SNMPv3协议栈,使得网管系统只传输轮询间隔内MIB表中发生变化的数据,消除代理中MIB表的
本体浏览器能揭示Semantic Web中蕴含的语义信息及其之间的相互联系,是构建Semantic Web的重要环节。探讨基于Flex和SOA架构的可视化本体浏览器的架构设计,数据模型,查询原理
对3个感病程度不同的花生品种的研究表明,接种后各品种花生植株叶片内POD活性明显提高,随着症状的出现,POD表现出显著的活性高峰,并出现了4条新的同工酶带,而原有的1条迁移率
采用5头装有瘤胃瘘管、十二指肠瘘管的土著种成年空怀母山羊,按自身对照设计,试验期山羊皮下注射孕酮1.25MG/D,以研究孕酮对瘤胃微生物氮代谢的调节及其作用机理.结果表明,皮
使用SPF雏鸡进行了鸡传染性囊病二价活疫苗攻击保护效果的观察.14日龄免疫2000TCID50剂量的二价苗或BJ836单价苗,免疫后14D(28日龄)分别用不同剂量(1∶1、1∶10、1∶100)的标
本文对网格基本概念、体系结构、网格研究的现状以及今后的发展趋势作了简要的介绍,对目前最主要的网格计算项目GlobusToolkit4中的信息服务模块MDS4的整体框架以及工作原理
会议
主要讲述利用搜索技术、数据库技术建立基于Web内容挖掘的信息搜索系统；描述了该系统的设计过程,简述了分类索引过程和结果。