public static ATermAppl or(final ATermAppl c1, final ATermAppl c2) { return ATermUtils.makeOr(c1, c2); }
public static ATermAppl or(final ATermAppl c1, final ATermAppl c2) { return ATermUtils.makeOr(c1, c2); }
public static ATermAppl or(final ATermAppl... c) { if (c.length == 1) return c[0]; return ATermUtils.makeOr(ATermUtils.makeList(c)); }
public static ATermAppl or(final ATermAppl... c) { if (c.length == 1) return c[0]; return ATermUtils.makeOr(ATermUtils.makeList(c)); }
public static ATermAppl oneOf(final ATermAppl... terms) { ATermList list = ATermUtils.EMPTY_LIST; for (final ATermAppl term : terms) list = list.insert(value(term)); return ATermUtils.makeOr(list); }
final static public ATermAppl makeOr(final ATermAppl c1, final ATermAppl c2) { return makeOr(makeList(c2).insert(c1)); }
public static ATermAppl oneOf(final ATermAppl... terms) { ATermList list = ATermUtils.EMPTY_LIST; for (final ATermAppl term : terms) list = list.insert(value(term)); return ATermUtils.makeOr(list); }
final static public ATermAppl makeOr(final ATermAppl c1, final ATermAppl c2) { return makeOr(makeList(c2).insert(c1)); }
@Override public void visit(final OWLDataUnionOf or) { final Set<OWLDataRange> operands = asSet(or.operands()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLDataRange desc : operands) { desc.accept(this); terms[size++] = _term; } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLObjectUnionOf or) { final Set<OWLClassExpression> operands = asSet(or.operands()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLClassExpression desc : operands) { desc.accept(this); terms[size++] = _term; } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLObjectUnionOf or) { final Set<OWLClassExpression> operands = asSet(or.operands()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLClassExpression desc : operands) { desc.accept(this); terms[size++] = _term; } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLObjectOneOf enumeration) { final Set<OWLIndividual> operands = asSet(enumeration.individuals()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLIndividual ind : operands) { ind.accept(this); terms[size++] = ATermUtils.makeValue(_term); } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLObjectOneOf enumeration) { final Set<OWLIndividual> operands = asSet(enumeration.individuals()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLIndividual ind : operands) { ind.accept(this); terms[size++] = ATermUtils.makeValue(_term); } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLObjectOneOf enumeration) { final Set<OWLIndividual> operands = asSet(enumeration.individuals()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLIndividual ind : operands) { ind.accept(this); terms[size++] = ATermUtils.makeValue(_term); } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
private ATermAppl canonicalize(final ATermAppl term) { if (ATermUtils.isAnd(term) || ATermUtils.isOr(term)) { final List<ATermAppl> list = new ArrayList<>(); for (ATermList l = (ATermList) term.getArgument(0); !l.isEmpty(); l = l.getNext()) list.add(canonicalize((ATermAppl) l.getFirst())); final ATermList args = ATermUtils.toSet(list); if (ATermUtils.isAnd(term)) return ATermUtils.makeAnd(args); else return ATermUtils.makeOr(args); } else return term; }
private ATermAppl canonicalize(final ATermAppl term) { if (ATermUtils.isAnd(term) || ATermUtils.isOr(term)) { final List<ATermAppl> list = new ArrayList<>(); for (ATermList l = (ATermList) term.getArgument(0); !l.isEmpty(); l = l.getNext()) list.add(canonicalize((ATermAppl) l.getFirst())); final ATermList args = ATermUtils.toSet(list); if (ATermUtils.isAnd(term)) return ATermUtils.makeAnd(args); else return ATermUtils.makeOr(args); } else return term; }
@Test public void testIsClass3() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl l1 = ATermUtils.makeTermAppl("l1"); final ATermAppl l2 = ATermUtils.makeTermAppl("l2"); final ATermAppl v1 = ATermUtils.makeValue(ATermUtils.makeLiteral(l1)); final ATermAppl v2 = ATermUtils.makeValue(ATermUtils.makeLiteral(l2)); final ATermAppl t = ATermUtils.makeOr(v1, v2); assertFalse(kb.isClass(t)); }