Uniform interpolation of ALC-ontologies using fixpoints

DOI10.1007/978-3-642-40885-4_7zbMATH Open1397.68163OpenAlexW153664291MaRDI QIDQ2849484FDOQ2849484

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications
• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• Semantic forgetting in expressive description logics
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• 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)