KnowledgeBase kb = new KnowledgeBase();
kb.addClass(C);
kb.addClass(D);
kb.addDatatypeProperty(p);
kb.addRange(p, ANY_URI);
kb.addEquivalentClass(C, hasValue(p, uri));
kb.addEquivalentClass(D, min(p, 1, TOP_LIT));
assertSubClass(kb, C, D, true);
assertSubClass(kb, D, C, false);