Concept Constructing in the Description Logic SROIQ Based on Minimal Model Reasoning for RDF Data

Abstract

Unlike RDF data, it is not easy for users to build ontologies using the expressive description logic SROIQ. In this paper, we propose a SROIQ-concept constructing algorithm for RDF data. This algorithm contains minimal model reasoning for RDF graphs that is based on a minimal model for SROIQ-concepts on the closed world assumption. Moreover, we implement a SROIQ-concept query system and SROIQ-concept learning for simple RDF data using the concept constructing algorithm.