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

Add code
May 01, 2021
Figure 1 for Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
Figure 2 for Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
Figure 3 for Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: