Table 2 Complexity results of GTAP for \({\boldsymbol{\mathcal {EL}}}\)
From: Completing the is-a structure in light-weight ontologies
Decision problems | Existence | Relevance | Necessity |
|---|---|---|---|
General | in P | in P | in P |
Subset minimality | in P | NP-complete | in P |
Semantic maximality | in P | in P | in P |
Minmax | in P | NP-complete | in P |
Maxmin | in P | in P | in P |
Skyline | in P | NP-complete | in P |