Forgetting concept and role symbols in ALCH-ontologies

DOI10.1007/978-3-642-45221-5_37MaRDI QIDQ2870153zbMATH OpenOpenAlexFDO

Authors Patrick Koopmann, Renate A. Schmidt

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)

Recommendations

• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• Eliminating concepts and roles from ontologies in expressive descriptive logics
• Tableau-based forgetting in \(\mathcal {ALC}\) ontologies
• FAME: an automated tool for semantic forgetting in expressive description logics
• Forgetting for knowledge bases in DL-lite

Cited in

(13)

• FAME: an automated tool for semantic forgetting in expressive description logics
• Evonne: interactive proof visualization for description logics (system description)
• Extending forgetting-based abduction using nominals
• FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints
• Tableau-based forgetting in \(\mathcal {ALC}\) ontologies
• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• Eliminating concepts and roles from ontologies in expressive descriptive logics
• Uniform Interpolation by Resolution in Modal Logic
• Computing witnesses using the SCAN algorithm
• Finding small proofs for description logic entailments: theory and practice
• Semantic forgetting in expressive description logics

This page was built for publication: Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies

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