Using Dempster-Shafer Theory in Knowledge Representation