Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies

DOI10.1007/978-3-642-45221-5_37zbMath1407.68481OpenAlexW5650064MaRDI QIDQ2870153

Renate A. Schmidt, Patrick Koopmann

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_37

Mathematics Subject Classification ID

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

Related Items (2)

(Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) ⋮ Evonne: interactive proof visualization for description logics (system description)

This page was built for publication: Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies