@ Override public OWLAxiom visit ( OWLSubClassOfAxiom axiom ) { return dataFactory . getOWLSubClassOfAxiom ( axiom . getSubClass ( ) . accept ( this ) , axiom . getSuperClass ( ) . accept ( this ) ) ; }
Conversion of non - class expressions to NNF