Reasoning with part-part relations in a description logic

Nenad Krdžavac, Dragan Gašević

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)


In this paper, we propose an extension of the SROIQ 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 SROIQ DL. We also present a sound and complete tableau algorithm for the SROIQ DL extension. Finally, we give an analysis of the expressiveness of the proposed extension of the SROIQ DL for modeling part-part relations and compare it with the state of the art in the area.

Original languageEnglish
Pages (from-to)347-353
Number of pages7
JournalKnowledge-Based Systems
Issue number2
Publication statusPublished - 1 Mar 2011
Externally publishedYes


  • Description logic
  • Manufacturing
  • Ontology
  • Part-part relation
  • Tableau algorithm

Cite this