Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints

DOI10.1007/978-3-642-40885-4_7zbMath1397.68163OpenAlexW153664291MaRDI QIDQ2849484

Renate A. Schmidt, Patrick Koopmann

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

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

Related Items (2)

Semantic forgetting in expressive description logics ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications

This page was built for publication: Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints