Locality and subsumption testing in EL and some of its extensions

MaRDI QIDQ3085175zbMATH OpenFDO

Authors Viorica Sofronie-Stokkermans

Publication date 30 March 2011

zbMATH Keywords

deductiondescription logicshierarchical reasoning

Mathematics Subject Classification ID

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

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

(12)

• Modal companions of \(K4^+\)
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
• On the positive fragment of the polymodal provability logic GLP
• Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Unification in the Description Logic $\mathcal{EL}$
• Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes
• 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
• Locality and Applications to Subsumption Testing in EL and Some of its Extensions
• 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}^+$$
• Unification in the description logic \(\mathcal{ELH}_{\mathcal{R}^+}\) without the top concept modulo cycle-restricted ontologies

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)