人工知能学会論文誌
Online ISSN : 1346-8030
Print ISSN : 1346-0714
ISSN-L : 1346-0714
原著論文
極小RDF推論に基づく記述論理SROIQの概念生成
兼岩 憲長井 拓馬
著者情報
ジャーナル フリー

2020 年 35 巻 1 号 p. B-J62_1-13

詳細
抄録

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.

著者関連情報
© 人工知能学会 2020
前の記事 次の記事
feedback
Top