private void defineClass(final ATermAppl cls) { _defVisitor.visit(cls); }
@Override public void visitInverse(final ATermAppl term) { final ATermAppl p = (ATermAppl) term.getArgument(0); if (ATermUtils.isPrimitive(p)) _kb.addObjectProperty(p); else visitInverse(p); }
@Override public void visitOneOf(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); }
private void defineClass(final ATermAppl cls) { _defVisitor.visit(cls); }
@Override public void visitHasValue(final ATermAppl term) { visitQR(term); }
@Override public void visitAll(final ATermAppl term) { visitQR(term); }
@Override public void visitHasValue(final ATermAppl term) { visitQR(term); }
private void visitQR(final ATermAppl term) { final ATermAppl p = (ATermAppl) term.getArgument(0); final ATermAppl q = (ATermAppl) term.getArgument(1); visitRestr(p, q); }
@Override public void visitNot(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); }
@Override public void visitCard(final ATermAppl term) { visitQCR(term); }
@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); }
@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); }
@Override public void visitMax(final ATermAppl term) { visitQCR(term); }
@Override public void visitMax(final ATermAppl term) { visitQCR(term); }
private void visitRestr(final ATermAppl p, final ATermAppl q) { if (_originalKB.isObjectProperty(p)) { _kb.addObjectProperty(p); visit(q); } else _kb.addDatatypeProperty(p); }
@Override public void visitAll(final ATermAppl term) { visitQR(term); }
private void visitRestr(final ATermAppl p, final ATermAppl q) { if (_originalKB.isObjectProperty(p)) { _kb.addObjectProperty(p); visit(q); } else _kb.addDatatypeProperty(p); }
private void visitQR(final ATermAppl term) { final ATermAppl p = (ATermAppl) term.getArgument(0); final ATermAppl q = (ATermAppl) term.getArgument(1); visitRestr(p, q); }
private void visitQCR(final ATermAppl term) { final ATermAppl p = (ATermAppl) term.getArgument(0); final ATermAppl q = (ATermAppl) term.getArgument(2); visitRestr(p, q); }