ExpExpExplosion: uniform interpolation in general EL terminologies

MaRDI QIDQ3455591zbMATH OpenFDO

Authors Nadeschda Nikitina, Sebastian Rudolph

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7042

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• 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
• Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints
• Unification in the description logic EL
• Uniform interpolation and propositional quantifiers in modal logics

Cited in

(6)

• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints
• Inseparability and conservative extensions of description logic ontologies: a survey
• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
• Propositional variable forgetting and marginalization: semantically, two sides of the same coin

This page was built for publication: ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455591)