Semantic forgetting in expressive description logics

DOI10.1007/978-3-030-86205-3_7OpenAlexW3197885446MaRDI QIDQ831928FDOQ831928

Authors: Mostafa Sakr, Renate A. Schmidt 

Publication date: 24 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86205-3_7

Recommendations

• FAME: an automated tool for semantic forgetting in expressive description logics
• Semantic forgetting in answer set programming
• Forgetting in multi-agent modal logics
• Forgetting under the well-founded semantics
• Knowledge forgetting in propositional \(\mu\)-calculus
• FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
• Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
• Tableau-based forgetting in \(\mathcal {ALC}\) ontologies

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Deciding inseparability and conservative extensions in the description logic
• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• Title not available (Why is that?)
• A lattice-theoretical fixpoint theorem and its applications
• Title not available (Why is that?)
• Model-theoretic inseparability and modularity of description logic ontologies
• Computing small clause normal forms
• Normal form transformations
• On the relative expressiveness of description logics and predicate logics
• Second-order quantifier elimination. Foundations, computational aspects and applications
• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• Title not available (Why is that?)
• Projection and scope-determined circumscription
• Mechanizing Mathematical Reasoning
• Introspective forgetting
• Formal Properties of Modularisation
• Uniform Interpolation by Resolution in Modal Logic
• Untersuchungen über das Eliminationsproblem der mathematischen Logik
• FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
• Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints
• Inseparability and conservative extensions of description logic ontologies: a survey
• A knowledge level account of forgetting

Cited In (3)

• Forgetting for knowledge bases in DL-lite
• Computing sufficient and necessary conditions in CTL: a forgetting approach
• Semantic forgetting in answer set programming

Uses Software

• FAME

This page was built for publication: Semantic forgetting in expressive description logics

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