@Override public synchronized boolean addDatatypeProperty(final ATerm p) { return super.addDatatypeProperty(p); }
@Override public synchronized boolean addDatatypeProperty(final ATerm p) { return super.addDatatypeProperty(p); }
@Test public void bottomDataSuper() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl p = term("p"); kb.addDatatypeProperty(p); assertTrue(kb.isSubPropertyOf(BOTTOM_DATA_PROPERTY, p)); }
@Test public void topDataSuper() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl p = term("p"); kb.addDatatypeProperty(p); assertTrue(kb.isSubPropertyOf(p, TOP_DATA_PROPERTY)); }
@Before public void setUp() { _kb = new KnowledgeBaseImpl(); _x = new AtomIVariable("x"); _y = new AtomIVariable("y"); _z = new AtomDVariable("z"); _kb.addDatatypeProperty(dp1); _kb.addDatatypeProperty(dp2); _kb.addSubProperty(dp1, dp2); _kb.addIndividual(mary); _kb.addIndividual(robert); _kb.addIndividual(victor); _kb.addPropertyValue(dp1, mary, data1); _kb.addPropertyValue(dp2, mary, data2); _kb.addPropertyValue(dp1, robert, data2); _kb.addPropertyValue(dp1, robert, data3); _kb.addPropertyValue(dp2, victor, data4); }
@Test public void topDataAssertion() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl r = term("r"); final ATermAppl x = term("x"); final ATermAppl y = literal("y"); kb.addDatatypeProperty(r); kb.addIndividual(x); kb.addPropertyValue(r, x, y); assertTrue(kb.hasPropertyValue(x, TOP_DATA_PROPERTY, y)); }
@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 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 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)); }