... | ... | @@ -301,7 +301,7 @@ In the above debugging session the default settings and the *HermiT* reasoner we |
|
|
|
|
|
### Preferences for Fault Localization
|
|
|
|
|
|
![pref1](/uploads/e1611544ed2bac964c2e522626c8ca7e/image.png)
|
|
|
![pref1](/uploads/279e73eee74a129d86e4cda3171de40e/image.png)
|
|
|
|
|
|
##### Engine Types
|
|
|
|
... | ... | @@ -323,7 +323,7 @@ In addition by using module extraction the process can once again be sped up as |
|
|
|
|
|
### Preferences for Query computation
|
|
|
|
|
|
![pref2](/uploads/45dd7e97538ae4dfe8384cd42f801054/image.png)
|
|
|
![pref2](/uploads/2e4ff4b012f42efbbc851369f8577da0/image.png)
|
|
|
|
|
|
age 1 has as goal the minimization of the overall number of queries in the debugging session. There are several measures for this purpose (default: Entropy).
|
|
|
|
... | ... | |