Vol-1338⫷ Vol-1339 ⫸Vol-1340
urn:nbn:de:0074-1339-0


Vol-1339/paper9⫷Vol-1339/paper10⫸Vol-1339/paper11

Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies