Combining description logics, description graphs, and rules

  • Authors:

  • Boris Motik

  • Affiliations:

  • Computing Laboratory, University of Oxford, UK

  • Venue:
  • FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects--objects whose parts are interconnected in arbitrary, rather than tree-like ways. To address this problem, we propose an extension of DL languages with description graphs--a modeling construct that can accurately describe objects whose parts are connected in arbitrary ways. Furthermore, to enable modeling the conditional aspects of structured objects, we also incorporate rules into our formalism. We present an in-depth study of the computational properties of such a formalism. In particular, we first identify the sources of undecidability of the general, unrestricted formalism, and then present a restriction that makes reasoning decidable. Finally, we present tight complexity bounds.