Vol-1192⫷ Vol-1193 ⫸Vol-1194
urn:nbn:de:0074-1193-0


Vol-1193/paper_20⫷Vol-1193/paper_42⫸Vol-1193/paper_56
Katarina BritzSzymon KlarmanKen Halland

TBox Abduction in ALC Using a DL Tableau