DMCA
Islands of tractability for relational constraints: towards dichotomy results for the description logic EL
| Citations: | 5 - 2 self |
BibTeX
@MISC{Kurucz_islandsof,
author = {A. Kurucz and F. Wolter and Michael Zakharyaschev},
title = {Islands of tractability for relational constraints: towards dichotomy results for the description logic EL},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
EL is a tractable description logic serving as the logical underpinning of large-scale ontologies. We launch a systematic investigation of the boundary between tractable and intractable reasoning in EL under relational constraints. E.g., we show that there are (modulo equivalence) exactly 3 universal constraints on a transitive and re exive relation under which reasoning is tractable: being a singleton set, an equivalence relation, or the empty constraint. We prove a number of results of this type and discuss a spectrum of open problems including generalisations to the algebraic semantics for EL (semi-lattices with monotone operators).
Keyphrases
relational constraint description logic el re exive relation algebraic semantics intractable reasoning equivalence relation open problem monotone operator large-scale ontology universal constraint empty constraint systematic investigation modulo equivalence logical underpinning tractable description logic
