Semantic forgetting in expressive description logics

DOI10.1007/978-3-030-86205-3_7MaRDI QIDQ831928zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

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

Cites work

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

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

Describes a project that uses

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)