Skip to Content

Reasoning with part-part relations in a description logic

  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
TitleReasoning with part-part relations in a description logic
Publication TypeJournal Article
Year of Publication2011
AuthorsKrdzavac, N., and Gasevic D.
JournalKnowledge-Based Systems
Volume24
Start Page347-353
Issue2
Date PublishedMarch/2011
Abstract

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.

DOI10.1016/j.knosys.2010.09.001