@Override public synchronized void addRange(final ATerm p, final ATermAppl c) { super.addRange(p, c); }
@Override public synchronized void addRange(final ATerm p, final ATermAppl c) { super.addRange(p, c); }
@Override public synchronized void addRange(final ATerm p, final ATermAppl c, final Set<ATermAppl> explain) { super.addRange(p, c, explain); }
@Override public synchronized void addRange(final ATerm p, final ATermAppl c, final Set<ATermAppl> explain) { super.addRange(p, c, explain); }
@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); }
@Test public void userDefinedDatatypes303b() { final ATermAppl c = TermFactory.term("C"); final ATermAppl v = TermFactory.term("v"); final ATermAppl i = TermFactory.term("i"); final ATermAppl one = TermFactory.literal(1); final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); kb.addClass(c); kb.addDatatypeProperty(v); kb.addIndividual(i); kb.addSubClass(c, TermFactory.some(v, INTEGER)); kb.addRange(v, TermFactory.oneOf(one)); kb.addType(i, c); assertTrue(kb.hasPropertyValue(i, v, one)); }
@Test public void userDefinedDatatypes303a() { final ATermAppl c = TermFactory.term("C"); final ATermAppl v = TermFactory.term("v"); final ATermAppl i = TermFactory.term("i"); final ATermAppl one = TermFactory.literal(1); final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); kb.addClass(c); kb.addDatatypeProperty(v); kb.addIndividual(i); kb.addSubClass(c, TermFactory.min(v, 1, INTEGER)); kb.addRange(v, TermFactory.oneOf(one)); kb.addType(i, c); assertTrue(kb.hasPropertyValue(i, v, one)); }
@Test public void topObjectRange() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl c = term("C"); final ATermAppl x = term("x"); final ATermAppl y = term("y"); final ATermAppl z = term("z"); kb.addClass(c); kb.addIndividual(x); kb.addIndividual(y); kb.addIndividual(z); kb.addDifferent(x, y); kb.addDifferent(x, z); kb.addSubClass(c, oneOf(x, y)); kb.addRange(TOP_OBJECT_PROPERTY, c); assertTrue(kb.isSameAs(y, z)); }