@Override public synchronized void addDomain(final ATerm p, final ATermAppl c, final Set<ATermAppl> explain) { super.addDomain(p, c, explain); }
@Override public synchronized void addDomain(final ATerm p, final ATermAppl c, final Set<ATermAppl> explain) { super.addDomain(p, c, explain); }
@Override public synchronized void addDomain(final ATerm p, final ATermAppl c) { super.addDomain(p, c); }
@Override public synchronized void addDomain(final ATerm p, final ATermAppl c) { super.addDomain(p, c); }
@Test public void topObjectDomain() { 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.addDomain(TOP_OBJECT_PROPERTY, c); assertTrue(kb.isSameAs(y, z)); }