Uniform interpolation of ALC-ontologies using fixpoints

DOI10.1007/978-3-642-40885-4_7MaRDI QIDQ2849484zbMATHOpenAlexFDO

Authors Patrick Koopmann, Renate A. Schmidt

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40885-4_7

Mathematics Subject Classification ID

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

Recommendations

• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
• ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies
• Uniform interpolation and propositional quantifiers in modal logics

Cited in

(6)

• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• Semantic forgetting in expressive description logics
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies
• Common equivalence and size of forgetting from Horn formulae

This page was built for publication: Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints

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