首页    期刊浏览 2024年11月08日 星期五
登录注册

文章基本信息

  • 标题:極小RDF推論に基づく記述論理SROIQの概念生成
  • 本地全文:下载
  • 作者:兼岩 憲 ; 長井 拓馬
  • 期刊名称:人工知能学会論文誌
  • 印刷版ISSN:1346-0714
  • 电子版ISSN:1346-8030
  • 出版年度:2020
  • 卷号:35
  • 期号:1
  • 页码:1-13
  • DOI:10.1527/tjsai.B-J62
  • 出版社:The Japanese Society for Artificial Intelligence
  • 摘要:

    In the area of the Semantic Web, the expressive description logic SROIQ corresponding to OWL2 provides us rich reasoning and learning tasks for ontologies, e.g., inference engine, query-answering system, and concept learning. However, unlike simple ontologies in RDF graphs, it is not easy for users to build ontologies using the logical and complex expressions of SROIQ. In this paper, we propose (i) minimal model reasoning in the description logic SROIQ for RDF graphs and (ii) a SROIQ-concept constructing algorithm for the classes, properties and individuals in each RDF graph. In the minimal models of RDF graphs based on the closed world assumption (CWA), we prove the completeness, soundness and complexity of the minimal model reasoning in the description logic SROIQ. We define decidable SROIQ-concept constructing in a unique interpretation of SROIQ-concepts based on the minimal model reasoning. For infinite SROIQ-concept combinations constructed by classes, properties and individuals (even less expressive description logic concepts), our constructing method removes semantically identifying concepts, e.g., A⊓A, A⊓A⊓A, . . . if concept name A exists, in the minimal models. As a main theoretical result, we show the decidability and complexity of the concept constructing algorithm. We formalize two applications to the concept constructing algorithm as a SROIQ-concept query system and SROIQ-concept learning for RDF graphs. The query system for RDF graphs returns the answers of expressive SROIQ queries including concept variables. The concept learning enables us to logically induce SROIQ-concepts from positive and negative examples in knowledge bases.

  • 关键词:RDF schema;description logic;minimal reasoning;closed world assumption
国家哲学社会科学文献中心版权所有