@Override public synchronized boolean addPropertyValue(final ATermAppl p, final ATermAppl s, final ATermAppl o) { return super.addPropertyValue(p, s, o); }
@Override public synchronized boolean addPropertyValue(final ATermAppl p, final ATermAppl s, final ATermAppl o) { return super.addPropertyValue(p, s, o); }
/** * @param p * @param s * @param o * @deprecated 2.5.1 Use addPropertyValue instead */ @Deprecated public void addObjectPropertyValue(final ATermAppl p, final ATermAppl s, final ATermAppl o) { addPropertyValue(p, s, o); }
/** * @param p * @param s * @param o * @deprecated 2.5.1 Use addPropertyValue instead */ @Deprecated public void addObjectPropertyValue(final ATermAppl p, final ATermAppl s, final ATermAppl o) { addPropertyValue(p, s, o); }
@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 testIsAtomTrue() { _kb.addObjectProperty(p); _kb.addIndividual(mary); _kb.addIndividual(robert); _kb.addPropertyValue(p, mary, robert); final VariableBinding binding = new VariableBinding(_kb.getABox()); binding.set(_x, mary); binding.set(_y, robert); final RuleAtom atom = new IndividualPropertyAtom(p, _x, _y); final TrivialSatisfactionHelpers tester = new TrivialSatisfactionHelpers(_kb.getABox()); assertTrue(tester.isAtomTrue(atom, binding) != null); }
@Test public void bottomDataAssertion() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl x = term("x"); final ATermAppl y = literal("y"); kb.addIndividual(x); assertFalse(kb.hasPropertyValue(x, BOTTOM_DATA_PROPERTY, y)); assertTrue(kb.isType(x, not(some(BOTTOM_DATA_PROPERTY, TOP_LIT)))); assertTrue(kb.isType(x, not(hasValue(BOTTOM_DATA_PROPERTY, y)))); kb.addPropertyValue(BOTTOM_DATA_PROPERTY, x, y); assertFalse(kb.isConsistent()); }
@Test public void bottomObjectAssertion() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl x = term("x"); final ATermAppl y = term("y"); kb.addIndividual(x); kb.addIndividual(y); assertFalse(kb.hasPropertyValue(x, BOTTOM_OBJECT_PROPERTY, x)); assertFalse(kb.hasPropertyValue(x, BOTTOM_OBJECT_PROPERTY, y)); assertFalse(kb.hasPropertyValue(y, BOTTOM_OBJECT_PROPERTY, x)); assertFalse(kb.hasPropertyValue(y, BOTTOM_OBJECT_PROPERTY, y)); assertTrue(kb.isType(x, not(some(BOTTOM_OBJECT_PROPERTY, TOP)))); assertTrue(kb.isType(x, not(hasValue(BOTTOM_OBJECT_PROPERTY, x)))); assertTrue(kb.isType(x, not(hasValue(BOTTOM_OBJECT_PROPERTY, y)))); assertTrue(kb.isType(y, not(some(BOTTOM_OBJECT_PROPERTY, TOP)))); assertTrue(kb.isType(y, not(hasValue(BOTTOM_OBJECT_PROPERTY, x)))); assertTrue(kb.isType(y, not(hasValue(BOTTOM_OBJECT_PROPERTY, y)))); kb.addPropertyValue(BOTTOM_OBJECT_PROPERTY, x, y); assertFalse(kb.isConsistent()); }