Picture for Renate A. Schmidt

Renate A. Schmidt

Signature-Based Abduction for Expressive Description Logics -- Technical Report

Add code
Jul 08, 2020
Figure 1 for Signature-Based Abduction for Expressive Description Logics -- Technical Report
Figure 2 for Signature-Based Abduction for Expressive Description Logics -- Technical Report
Figure 3 for Signature-Based Abduction for Expressive Description Logics -- Technical Report
Figure 4 for Signature-Based Abduction for Expressive Description Logics -- Technical Report
Viaarxiv icon

ABox Abduction via Forgetting in ALC (Long Version)

Add code
Nov 13, 2018
Figure 1 for ABox Abduction via Forgetting in ALC (Long Version)
Figure 2 for ABox Abduction via Forgetting in ALC (Long Version)
Figure 3 for ABox Abduction via Forgetting in ALC (Long Version)
Figure 4 for ABox Abduction via Forgetting in ALC (Long Version)
Viaarxiv icon

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Add code
Nov 29, 2016
Figure 1 for Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Figure 2 for Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Viaarxiv icon