4849505152535455
return false; } @Override public OWLClassExpression getNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return accept(nnf); }
5455565758596061
return accept(nnf); } @Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf); }
164165166167168169170171172
return getAnnotations().equals(other.getAnnotations()); } @Override public OWLAxiom getNNF() { NNF con = new NNF(new OWLDataFactoryImpl()); OWLAxiom nnf = accept(con); return verifyNotNull(nnf); }
34353637383940
* * @param dataFactory * the factory */ public NegationalNormalFormConverter(@Nonnull OWLDataFactory dataFactory) { nnf = new NNF(dataFactory); }
170171172173174175176177
@Nonnull private final OWLNamedIndividual indA = NamedIndividual(IRI("a")); private OWLClassExpression getNNF( @Nonnull OWLClassExpression classExpression) { NNF nnf = new NNF(df); return classExpression.accept(nnf); }
162163164165166167168169170
141142143144145146147148149150
} public OWLAxiom getNNF() { if (nnf == null) { NNF con = new NNF(getOWLDataFactory()); nnf = accept(con); } return nnf; }
5657585960616263
return false; } public OWLClassExpression getNNF() { NNF nnf = new NNF(getOWLDataFactory()); return accept(nnf); }
6162636465666768
NNF nnf = new NNF(getOWLDataFactory()); return accept(nnf); } public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(getOWLDataFactory()); return getOWLDataFactory().getOWLObjectComplementOf(this).accept(nnf); }
3940414243444546
private OWLObjectComplementOfExtractor extractor; public NegationalNormalFormConverter(OWLDataFactory dataFactory) { nnf = new NNF(dataFactory); extractor = new OWLObjectComplementOfExtractor(); }