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

Open in new window