@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); createClassExpression(OWL.intersectionOf); }
@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); createClassExpression(OWL.intersectionOf); }
@Override public void visitNot(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); createClassExpression(OWL.complementOf); }
@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); createClassExpression(OWL.intersectionOf); }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); createClassExpression(OWL.unionOf); }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); createClassExpression(OWL.unionOf); }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); createClassExpression(OWL.unionOf); }
@Override public void visitNot(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); createClassExpression(OWL.complementOf); }
@Override public void visitNot(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); createClassExpression(OWL.complementOf); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }