Representation theorems and locality for subsumption testing and interpolation in the description logics EL, EL^+ and their extensions with n-ary roles and numerical domains
From MaRDI portal
Publication:4604558
Recommendations
- Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions
- Locality and Applications to Subsumption Testing in EL and Some of its Extensions
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
- Defeasible inclusions in low-complexity DLs
Cited in
(9)- Logics in Artificial Intelligence
- A proof theory for description logics.
- ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies
- Defeasible inclusions in low-complexity DLs
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions
- On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$
- Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
- Locality and Applications to Subsumption Testing in EL and Some of its Extensions
This page was built for publication: Representation theorems and locality for subsumption testing and interpolation in the description logics \(\mathcal{EL}\), \(\mathcal{EL}^+\) and their extensions with \(n\)-ary roles and numerical domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4604558)
