DMCA
On P/NP Dichotomies for EL Subsumption under Relational Constraints
Cached
Download Links
by
A. Kurucz
,
F. Wolter
,
M. Zakharyaschev
| Citations: | 2 - 0 self |
BibTeX
@MISC{Kurucz_onp/np,
author = {A. Kurucz and F. Wolter and M. Zakharyaschev},
title = {On P/NP Dichotomies for EL Subsumption under Relational Constraints},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. We consider the problem of characterising relational constraints under which TBox reasoning in EL is tractable. We obtain P vs. coNP-hardness dichotomies for tabular constraints and constraints imposed on a single reflexive role. 1
