@Test
public void anyURI383()
{
final ATermAppl C = TermFactory.term("C");
final ATermAppl D = TermFactory.term("D");
final ATermAppl p = TermFactory.term("p");
final ATermAppl uri = TermFactory.literal(URI.create("http://www.example.org"));
final KnowledgeBaseImpl kb = new KnowledgeBaseImpl();
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);
}