Tableau-based forgetting in ALC ontologies

DOI10.3233/978-1-60750-606-5-47MaRDI QIDQ2999104zbMATH OpenOpenAlexFDO

Authors Zhe Wang, Kewen Wang, Xiaowang Zhang, Rodney W. Topor

Publication date 11 May 2011

Full work available at URL https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#WangWTZ10

Mathematics Subject Classification ID

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

Recommendations

• Eliminating concepts and roles from ontologies in expressive descriptive logics
• Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
• FAME: an automated tool for semantic forgetting in expressive description logics
• Forgetting for knowledge bases in DL-lite
• A knowledge level account of forgetting

Cited in

(8)

• FAME: an automated tool for semantic forgetting in expressive description logics
• 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}\)
• Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
• Eliminating concepts and roles from ontologies in expressive descriptive logics
• Forgetting for knowledge bases in DL-lite
• Semantic forgetting in expressive description logics

This page was built for publication: Tableau-based forgetting in \(\mathcal {ALC}\) ontologies

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