FAME: an automated tool for semantic forgetting in expressive description logics

DOI10.1007/978-3-319-94205-6_2OpenAlexW2811418878MaRDI QIDQ1799064

Yizheng Zhao, Renate A. Schmidt

Publication date: 18 October 2018

Full work available at URL: https://www.research.manchester.ac.uk/portal/en/publications/fame-an-automated-tool-for-semantic-forgetting-in-expressive-description-logics(a63a648a-50b5-4e61-b741-811734d5f5a6).html

Mathematics Subject Classification ID

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

Related Items (3)

FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions ⋮ FAME ⋮ Evonne: interactive proof visualization for description logics (system description)

This page was built for publication: FAME: an automated tool for semantic forgetting in expressive description logics