212213214215216217218
body.add(makeSubOfSomeTriple(var0, var1, var2)); body.add(makePropertyAssertionFunctor(var1)); body.add(makeSubclassTriple(var2, BOTTOM)); ClauseEntry head = makeSubclassTriple(var0, BOTTOM); m_Rules.add(new Rule(Collections.singletonList(head), body)); }
222223224225226227228
List<ClauseEntry> head = CollectionUtils.makeList(); Node var = freeVar.next(); translateSub(body, sub, freeVar, var); translateSuper(head, sup, freeVar, var); m_Rules.add(new Rule(head, body)); }