针对元建模和元查询应答比较具有诱惑力的语言Hi(SRIQ)

点击上方蓝字

关注我们

导读

      由于元建模，即名字的多重使用的需求，越来越多的实际本体落入了OWL 2 Full的范畴，如知名的解刨学本体FMA和常识本体OpenCyc。OWL 2 Full是不可判定的。因此如何对这些OWL 2 Full本体进行推理和查询应答成为了一项新的挑战。受大型的常识本体和生物医学本体的启发，我们讨论了对描述逻辑SRIQ进行元建模扩充，并提出了OWL 2 Full的子语言Hi(SRIQ)。Hi(SRIQ)是通过去除SRIQ中类名、属性名和实例名两两不相交的约束得到的。为了进行元知识的查询，我们引入了元查询语言。元查询是通过允许变量出现在联合查询的类和属性的位置得到的。

       针对推理，我们提出了将Hi(SRIQ)的一致性检测和元查询应答可靠和完备地规约为SRIQ的一致性检测和联合查询应答的方法。基于此，我们得到对SRIQ进行元建模的扩充并没有增加推理和查询应答的复杂度。针对大规模的实际本体，我们讨论了Hi(SRIQ)的一个子语言Hi(SRIF)，并提出了对Hi(SRIF)进行分而治之的推理和元查询应答的方法。该分而治之方法的核心思想是将Hi(SRIF)本体的推理和元查询应答任务规约为多个独立的小模块来进行。此外，我们还提出三个启发式规则来优化Hi(SRIQ)和Hi(SRIF)上的元查询应答。在实际、大型和复杂的OWL 2 Full本体上的实验验证了该方法的高效性。

文章精要

   请长按下方二维码识别，阅读该文。

   更多详细证明信息，请参考网页上的supplementary Material部分。

相关内容推荐：

基于样本选择的安全图半监督学习方法  2018 12(4)：725-735

从上下文语境中学习： 基于相互增强模型的中文微博观点检索  2018 12(4)：714-724

决策树集成学习中的结构多样性 2018 12(3)：560-570

基于LDA模型的协同过滤  2018 12(3)：571-581

结合序列二次规划的回溯搜索算法 2018 12(2)：316-330

一种解决类不平衡问题的进化欠采样bagging集成分类算法 2018 12(2)：331-350

FCS 12(2) 人工智能专栏 | 关于差异进化算法中变异个体的选择

FCS 12(1) 文章 | 多峰问题全局优化的分布式学习粒子群优化算法

FCS 12(1) 文章 | 多层次的中文垃圾短信高效识别方法

---

---

Frontiers of Computer Science

---

Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社出版、SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号