R-Calculus for the Primitive Statements in Description Logic

Yuhui Wang, Cungen Cao, Yuefei Sui

Browse the full KSEM paper archive.