Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)

1 May 2021

Papers citing "Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)"

3 / 3 papers shown

Title
Signature-Based Abduction for Expressive Description Logics -- Technical Report Patrick Koopmann Warren Del-Pinto Sophie Tourret R. Schmidt 6 30 0 01 Jul 2020
Reasoning about Explanations for Negative Query Answers in DL-Lite Diego Calvanese Magdalena Ortiz M. Šimkus Giorgio Stefanoni LRM 26 75 0 04 Feb 2014
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics C. Lutz F. Wolter 37 159 0 14 Apr 2011