Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies

DOI10.1007/978-3-319-08587-6_34zbMath1423.68482OpenAlexW179428513MaRDI QIDQ3192210

Renate A. Schmidt, Patrick Koopmann

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_34

Mathematics Subject Classification ID

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

Related Items (7)

Semantic forgetting in expressive description logics ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ ReAD: AD-based modular ontology classification ⋮ FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions ⋮ Games for query inseparability of description logic knowledge bases

This page was built for publication: Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies