Reasoning with part–part relations in a description logic

In this paper, we propose an extension of the SROIQSROIQ description logic (DL) in order to support part–part relations among concepts in knowledge representation. The proposed extension introduces a conjunction of a pair of role inclusion axioms (RIAs) and defines quasi simple roles. In our proposal, we define the syntax, semantics and knowledge base for the extension of the SROIQSROIQ DL. We also present a sound and complete tableau algorithm for the SROIQSROIQ DL extension. Finally, we give an analysis of the expressiveness of the proposed extension of the SROIQSROIQ DL for modeling part–part relations and compare it with the state of the art in the area.