Completion Rules for Uncertainty Reasoning with the Description Logic (2006)

by V Haarslev, H Pai, S Nematollaah
Venue:ALC”, Proceedings of the Semantic Web Working Symposium