public static ATermAppl or(ATermAppl c1, ATermAppl c2) { return ATermUtils.makeOr( c1, c2 ); }
public static ATermAppl or(ATermAppl c1, ATermAppl c2) { return ATermUtils.makeOr( c1, c2 ); }
public static ATermAppl or(ATermAppl... c) { if( c.length == 1 ) return c[0]; return ATermUtils.makeOr( ATermUtils.makeList( c ) ); }
public static ATermAppl or(ATermAppl... c) { if( c.length == 1 ) return c[0]; return ATermUtils.makeOr( ATermUtils.makeList( c ) ); }
public static ATermAppl oneOf(ATermAppl... terms) { ATermList list = ATermUtils.EMPTY_LIST; for( ATermAppl term : terms ) { list = list.insert( value( term ) ); } return ATermUtils.makeOr( list ); }
public static ATermAppl oneOf(ATermAppl... terms) { ATermList list = ATermUtils.EMPTY_LIST; for( ATermAppl term : terms ) { list = list.insert( value( term ) ); } return ATermUtils.makeOr( list ); }
final static public ATermAppl makeOr(ATermAppl c1, ATermAppl c2) { return makeOr( makeList( c2 ).insert( c1 ) ); }
final static public ATermAppl makeOr(ATermAppl c1, ATermAppl c2) { return makeOr( makeList( c2 ).insert( c1 ) ); }
public void visit(OWLObjectUnionOf or) { Set<OWLClassExpression> operands = or.getOperands(); ATerm[] terms = new ATerm[operands.size()]; int size = 0; for( 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 ATermList setOfTerms = size > 0 ? ATermUtils.toSet( terms, size ) : ATermUtils.EMPTY_LIST; term = ATermUtils.makeOr( setOfTerms ); }
public void visit(OWLDataUnionOf or) { Set<OWLDataRange> operands = or.getOperands(); ATerm[] terms = new ATerm[operands.size()]; int size = 0; for( 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 ATermList setOfTerms = size > 0 ? ATermUtils.toSet( terms, size ) : ATermUtils.EMPTY_LIST; term = ATermUtils.makeOr( setOfTerms ); }
@Override public void visit(OWLDataUnionOf or) { Set<OWLDataRange> operands = or.getOperands(); ATerm[] terms = new ATerm[operands.size()]; int size = 0; for( 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 ATermList setOfTerms = size > 0 ? ATermUtils.toSet( terms, size ) : ATermUtils.EMPTY_LIST; term = ATermUtils.makeOr( setOfTerms ); }
@Override public void visit(OWLObjectUnionOf or) { Set<OWLClassExpression> operands = or.getOperands(); ATerm[] terms = new ATerm[operands.size()]; int size = 0; for( 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 ATermList setOfTerms = size > 0 ? ATermUtils.toSet( terms, size ) : ATermUtils.EMPTY_LIST; term = ATermUtils.makeOr( setOfTerms ); }
public void visit(OWLObjectOneOf enumeration) { Set<OWLIndividual> operands = enumeration.getIndividuals(); ATerm[] terms = new ATerm[operands.size()]; int size = 0; for( 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 ATermList setOfTerms = size > 0 ? ATermUtils.toSet( terms, size ) : ATermUtils.EMPTY_LIST; term = ATermUtils.makeOr( setOfTerms ); }
@Override public void visit(OWLObjectOneOf enumeration) { Set<OWLIndividual> operands = enumeration.getIndividuals(); ATerm[] terms = new ATerm[operands.size()]; int size = 0; for( 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 ATermList setOfTerms = size > 0 ? ATermUtils.toSet( terms, size ) : ATermUtils.EMPTY_LIST; term = ATermUtils.makeOr( setOfTerms ); }
public void visitOr(ATermAppl term) { boolean listChange = false; List<ATermAppl> args = new ArrayList<ATermAppl>(); for( ATermList l = (ATermList) term.getArgument( 0 ); !l.isEmpty(); l = l.getNext() ) { ATermAppl a = (ATermAppl) l.getFirst(); this.visit( a ); args.add( ret ); if( change ) listChange = true; } if( listChange ) { change = true; ret = ATermUtils.makeOr( ATermUtils.makeList( args ) ); } else { change = false; ret = term; } }
public void visitOr(ATermAppl term) { boolean listChange = false; List<ATermAppl> args = new ArrayList<ATermAppl>(); for( ATermList l = (ATermList) term.getArgument( 0 ); !l.isEmpty(); l = l.getNext() ) { ATermAppl a = (ATermAppl) l.getFirst(); this.visit( a ); args.add( ret ); if( change ) listChange = true; } if( listChange ) { change = true; ret = ATermUtils.makeOr( ATermUtils.makeList( args ) ); } else { change = false; ret = term; } }
@Override public void visit(OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for( OWLLiteral value : enumeration.getValues() ) { value.accept( this ); ops = ops.insert( ATermUtils.makeValue( result() ) ); } term = ATermUtils.makeOr( ops ); }
public void visit(OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for( OWLLiteral value : enumeration.getValues() ) { value.accept( this ); ops = ops.insert( ATermUtils.makeValue( result() ) ); } term = ATermUtils.makeOr( ops ); }
public void visit(OWLDisjointUnionAxiom axiom) { if( !addAxioms ) { reloadRequired = true; return; } axiom.getOWLClass().accept( this ); ATermAppl c = term; ATermList classes = ATermUtils.EMPTY_LIST; for( OWLClassExpression desc : axiom.getClassExpressions() ) { desc.accept( this ); classes = classes.insert( result() ); } kb.addDisjointClasses( classes ); kb.addEquivalentClass( c, ATermUtils.makeOr( classes ) ); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { if( !addAxioms ) { reloadRequired = true; return; } axiom.getOWLClass().accept( this ); ATermAppl c = term; ATermList classes = ATermUtils.EMPTY_LIST; for( OWLClassExpression desc : axiom.getClassExpressions() ) { desc.accept( this ); classes = classes.insert( result() ); } kb.addDisjointClasses( classes ); kb.addEquivalentClass( c, ATermUtils.makeOr( classes ) ); }