public OWLClassExpression getNNF() { NNF nnf = new NNF(getOWLDataFactory()); return accept(nnf); }
public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLNaryBooleanClassExpression)) { return false; } return ((OWLNaryBooleanClassExpression) obj).getOperands().equals(operands); } return false; }
@Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf); }
/** * Gets the object complement of this class expression. * @return A class expression that is the complement of this class expression. */ public OWLClassExpression getObjectComplementOf() { return getOWLDataFactory().getOWLObjectComplementOf(this); }
@Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf); }
public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(getOWLDataFactory()); return getOWLDataFactory().getOWLObjectComplementOf(this).accept(nnf); }
@Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf.getClassVisitor()); }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLObjectComplementOf)) { return false; } return ((OWLObjectComplementOf) obj).getOperand().equals(operand); } return false; }
@Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf.getClassVisitor()); }
public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLObjectComplementOf)) { return false; } return ((OWLObjectComplementOf) obj).getOperand().equals(operand); } return false; }
@Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf.getClassVisitor()); }
public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLRestriction)) { return false; } return ((OWLRestriction) obj).getProperty().equals(property); } return false; } }
@Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf.getClassVisitor()); }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLObjectOneOf)) { return false; } return ((OWLObjectOneOf) obj).getIndividuals().equals(values); } return false; }
public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLObjectOneOf)) { return false; } return ((OWLObjectOneOf) obj).getIndividuals().equals(values); } return false; }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLNaryBooleanClassExpression)) { return false; } return ((OWLNaryBooleanClassExpression) obj).getOperands().equals(operands); } return false; }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLRestriction)) { return false; } return ((OWLRestriction<?,?,?>) obj).getProperty().equals(property); } return false; } }
@Override public boolean equals(Object obj) { if (super.equals(obj)) { if (!(obj instanceof OWLNaryBooleanClassExpression)) { return false; } return ((OWLNaryBooleanClassExpression) obj).getOperandsAsList().equals( operands); } return false; }