Extending forgetting-based abduction using nominals

DOI10.1007/978-3-030-29007-8_11MaRDI QIDQ2180226zbMATH OpenOpenAlexFDO

Authors Warren Del-Pinto, Renate A. Schmidt

Publication date 13 May 2020

Full work available at URL https://www.research.manchester.ac.uk/portal/en/publications/extending-forgettingbased-abduction-using-nominals(9fcf714f-8b94-4b78-9a3e-c3fec95316fd).html

Mathematics Subject Classification ID

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

Recommendations

• ABox abduction in the description logic \(\mathcal{ALC}\)
• Tableau-based forgetting in \(\mathcal {ALC}\) ontologies
• FAME: an automated tool for semantic forgetting in expressive description logics
• Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
• scientific article; zbMATH DE number 1696831

Cited in

(1)

• ABox abduction in the description logic \(\mathcal{ALC}\)

This page was built for publication: Extending forgetting-based abduction using nominals

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