@Override public synchronized void addEquivalentProperty(final ATermAppl p1, final ATermAppl p2) { super.addEquivalentProperty(p1, p2); }
@Override public synchronized void addEquivalentProperty(final ATermAppl p1, final ATermAppl p2) { super.addEquivalentProperty(p1, p2); }
@Test public void topEquivalent() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl p = term("concrete"); final ATermAppl r = term("abstract"); final ATermAppl s = term("universal"); kb.addObjectProperty(p); kb.addObjectProperty(r); kb.addObjectProperty(s); kb.addSubProperty(p, r); kb.addSubProperty(r, s); assertTrue(kb.isSubPropertyOf(p, s)); assertTrue(kb.getSubProperties(s).contains(Collections.singleton(p))); kb.addEquivalentProperty(s, TOP_OBJECT_PROPERTY); assertTrue(kb.isSubPropertyOf(p, s)); assertTrue(kb.getSubProperties(s).contains(Collections.singleton(p))); }