您当前的位置：
首页 >
文章列表页 >
一种基于图的DL-Lite本体最小不可满足保持子集的计算方法
学术论文 | 更新时间：2025-07-16
上一篇|下一篇

    • 一种基于图的DL-Lite本体最小不可满足保持子集的计算方法

    • A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite

    • 付雪峰 ，漆桂林 ，张勇
    • 电子学报 2016年44卷第9期 页码：2040-2045

    • DOI： 10.3969/j.issn.0372-2112.2016.09.002     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

520

浏览量

470

下载量

2

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

面向语义构件检索的交互式查询方案生成
基于多维DHS的AFDM卫星通信隐蔽波形
动态二部图上高效的BiCore-索引维护算法
知识增强的区域关联图像解说生成方法
应急场景无人机辅助实时视频传输联合优化策略

相关作者

FONT
欧阳丹彤
叶育鑫
Verdana
FONT face
明 仲
蔡树彬
李师贤

相关机构

符号计算与知识工程教育部重点实验室
吉林大学计算机科学与技术学院
江西电力信息通讯有限公司江西南昌
深圳大学计算机与软件学院广东深圳
中山大学计算机科学系广东广州