5657585960616263
private OWLObjectComplementOfExtractor extractor; public NegationalNormalFormConverter(OWLDataFactory dataFactory) { nnf = new NNF(dataFactory); extractor = new OWLObjectComplementOfExtractor(); }
166167168169170171172173174175
} public OWLAxiom getNNF() { if (nnf == null) { NNF con = new NNF(getOWLDataFactory()); nnf = accept(con); } return nnf; }
7778798081828384
return false; } public OWLClassExpression getNNF() { NNF nnf = new NNF(getOWLDataFactory()); return accept(nnf); }
8283848586878889
NNF nnf = new NNF(getOWLDataFactory()); return accept(nnf); } public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(getOWLDataFactory()); return getOWLDataFactory().getOWLObjectComplementOf(this).accept(nnf); }