FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions

DOI10.1007/978-3-030-29436-6_34OpenAlexW2969331502MaRDI QIDQ2305440

Yizheng Zhao, Renate A. Schmidt

Publication date: 10 March 2020

Full work available at URL: https://www.research.manchester.ac.uk/portal/en/publications/fameq-an-automated-tool-for-forgetting-in-description-logics-with-qualified-number-restrictions(a23efac7-17e8-4a62-a43a-362eb345b23a).html

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Semantic forgetting in expressive description logics

Uses Software

• BioPortal
• FAME
• LETHE

Cites Work

• Unnamed Item
• Unnamed Item
• FAME: an automated tool for semantic forgetting in expressive description logics
• Interpolation in practical formal development
• Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
• Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies
• ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS

This page was built for publication: FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions