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
DOI10.3233/FI-2017-1612zbMATH Open1393.68161OpenAlexW2776581687MaRDI QIDQ4604558FDOQ4604558
Authors: Viorica Sofronie-Stokkermans 
Publication date: 2 March 2018
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2017-1612
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
interpolationsemilatticesdescription logicsBoolean algebrasCBox subsumptionlocal presentationsPTIME decision proceduresuniform word problems
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Semilattices (06A12) Interpolation, preservation, definability (03C40) Logical aspects of Boolean algebras (03G05)
Cited In (9)
- 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
- Logics in Artificial Intelligence
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)
