2. 您的位置
3. 首页
4. 学位论文
5. 描述逻辑SHIF和SHIQ的ABox一致性判定算法研究

描述逻辑SHIF和SHIQ的ABox一致性判定算法研究

来源 :湖南大学 | 被引量 : 0次 | 上传用户：w734289467

【作 者】

：

彭立 

【出 处】

：

湖南大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

最小化变形能的平面区域同构三角剖分

学位

从瘀论治女科奇症

期刊

Quality Model and Metrics of Ontology for Semantic Descriptions of Web Services

期刊

行政事业单位内部控制构建问题研究——以A省水利厅为例

学位

北京城郊农业区城乡一体化的演变和评价

期刊

“互联网 ”背景下高职院校汽车检测与维修技术专业课程体系构建

期刊

丰台一中教师业务信息管理系统的设计与实现

学位

分家析产协议与遗嘱冲突法律问题研究

学位

基于DSP的虹膜识别系统设计

学位

平面交叉口综合待行区的交通组织优化设计研究

学位