Completion rules for uncertainty reasoning with the description logic ALC

by Volker Haarslev , Hsueh-ieng Pai , Nematollaah Shiri
Venue:In Proc. of CSWWS
Citations:4 - 3 self