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


Vol-1193/paper_5⫷Vol-1193/paper_64⫸Vol-1193/paper_71
Tianlong GuLiang Chang 0003Ulrike Sattler

An ABox Revision Algorithm for the Description Logic EL_bot