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


Vol-1193/paper_39⫷Vol-1193/paper_40

Rational Elimination of DL-Lite TBox Axioms