Locality and subsumption testing in EL and some of its extensions
From MaRDI portal
Publication:3085175
zbMATH Open1219.68149MaRDI QIDQ3085175FDOQ3085175
Authors: Viorica Sofronie-Stokkermans
Publication date: 30 March 2011
Recommendations
- Locality and Applications to Subsumption Testing in EL and Some of its Extensions
- 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
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
Cited In (11)
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes
- On the positive fragment of the polymodal provability logic GLP
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- 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
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- 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
- Modal companions of \(K4^+\)
- Locality and Applications to Subsumption Testing in EL and Some of its Extensions
- Unification in the Description Logic $\mathcal{EL}$
This page was built for publication: Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085175)