Vol-476⫷ Vol-477 ⫸Vol-478
urn:nbn:de:0074-477-0


Vol-477/paper-59⫷Vol-477/paper-60⫸Vol-477/paper-61

Soundness Preserving Approximation for TBox Reasoning in R