@Override public OWLObjectIntersectionOf visit(OWLObjectIntersectionOf ce) { return df.getOWLObjectIntersectionOf(list(ce.operands())); }
@Override public OWLDataOneOf visit(OWLDataOneOf node) { return df.getOWLDataOneOf(list(node.values())); }
@Override public OWLDataUnionOf visit(OWLDataUnionOf node) { return df.getOWLDataUnionOf(list(node.operands())); }
@Override public SWRLBuiltInAtom visit(SWRLBuiltInAtom node) { return df.getSWRLBuiltInAtom(node.getPredicate(), list(node.arguments())); }
@Override public OWLDifferentIndividualsAxiom visit(OWLDifferentIndividualsAxiom axiom) { return df.getOWLDifferentIndividualsAxiom(list(axiom.individuals()), anns(axiom)); }
@Override public OWLEquivalentObjectPropertiesAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom) { return df.getOWLEquivalentObjectPropertiesAxiom(list(axiom.properties()), anns(axiom)); }
@Override public OWLSameIndividualAxiom visit(OWLSameIndividualAxiom axiom) { return df.getOWLSameIndividualAxiom(list(axiom.individuals()), anns(axiom)); }
@Override public OWLEquivalentClassesAxiom visit(OWLEquivalentClassesAxiom axiom) { return df.getOWLEquivalentClassesAxiom(list(axiom.classExpressions()), anns(axiom)); }
@Override public OWLDisjointDataPropertiesAxiom visit(OWLDisjointDataPropertiesAxiom axiom) { return df.getOWLDisjointDataPropertiesAxiom(list(axiom.properties()), anns(axiom)); }
@Override public OWLEquivalentClassesAxiom visit(OWLEquivalentClassesAxiom axiom) { return df.getOWLEquivalentClassesAxiom(list(axiom.classExpressions()), anns(axiom)); }
@Override public OWLEquivalentObjectPropertiesAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom) { return df.getOWLEquivalentObjectPropertiesAxiom(list(axiom.properties()), anns(axiom)); }
@Override public OWLEquivalentObjectPropertiesAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom) { return df.getOWLEquivalentObjectPropertiesAxiom(list(axiom.properties()), anns(axiom)); }
@Override public OWLSameIndividualAxiom visit(OWLSameIndividualAxiom axiom) { return df.getOWLSameIndividualAxiom(list(axiom.individuals()), anns(axiom)); }
@Override public SWRLBuiltInAtom visit(SWRLBuiltInAtom node) { return df.getSWRLBuiltInAtom(node.getPredicate(), list(node.arguments())); }
@Override public OWLDifferentIndividualsAxiom visit(OWLDifferentIndividualsAxiom axiom) { return df.getOWLDifferentIndividualsAxiom(list(axiom.individuals()), anns(axiom)); }
@Override public OWLDisjointUnionAxiom visit(OWLDisjointUnionAxiom axiom) { return df.getOWLDisjointUnionAxiom(get(axiom.getOWLClass()), list(axiom.classExpressions()), anns(axiom)); }
@Override public OWLDisjointUnionAxiom visit(OWLDisjointUnionAxiom axiom) { return df.getOWLDisjointUnionAxiom(get(axiom.getOWLClass()), list(axiom.classExpressions()), anns(axiom)); }
@Override public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) { return df .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()), anns(axiom)); }