EasyChair Smart Slide
 
Optimal ABox Repair W.R.T. Static EL TBoxes: from Quantified ABoxes Back to ABoxes (Extended Abstract)
 
1
3
5
7
9
11
13
15
17
19
21
23
25
27
29
31
33
35
37
39
41
43
45
47
49
51
53
55
57
58
1
2
3
4