Locality and subsumption testing in EL and some of its extensions

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

zbMATH Keywords

deductiondescription logicshierarchical reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

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)