@Override public OWLObjectIntersectionOf visit(OWLObjectIntersectionOf ce) { return df.getOWLObjectIntersectionOf(list(ce.operands())); }
@Override public OWLDataIntersectionOf visit(OWLDataIntersectionOf node) { return df.getOWLDataIntersectionOf(list(node.operands())); }
@Override public OWLDataIntersectionOf visit(OWLDataIntersectionOf node) { return df.getOWLDataIntersectionOf(list(node.operands())); }
@Override public OWLObjectOneOf visit(OWLObjectOneOf ce) { return df.getOWLObjectOneOf(list(ce.individuals())); }
@Override public OWLDataUnionOf visit(OWLDataUnionOf node) { return df.getOWLDataUnionOf(list(node.operands())); }
@Override public OWLDisjointObjectPropertiesAxiom visit(OWLDisjointObjectPropertiesAxiom ax) { return df.getOWLDisjointObjectPropertiesAxiom(list(ax.properties()), a(ax)); }
@Override public OWLEquivalentObjectPropertiesAxiom visit(OWLEquivalentObjectPropertiesAxiom ax) { return df.getOWLEquivalentObjectPropertiesAxiom(list(ax.properties()), a(ax)); }
@Override public OWLDifferentIndividualsAxiom visit(OWLDifferentIndividualsAxiom ax) { return df.getOWLDifferentIndividualsAxiom(list(ax.individuals()), a(ax)); }
@Override public OWLDisjointObjectPropertiesAxiom visit(OWLDisjointObjectPropertiesAxiom ax) { return df.getOWLDisjointObjectPropertiesAxiom(list(ax.properties()), a(ax)); }
@Override public OWLDifferentIndividualsAxiom visit(OWLDifferentIndividualsAxiom ax) { return df.getOWLDifferentIndividualsAxiom(list(ax.individuals()), a(ax)); }
@Override public OWLDisjointObjectPropertiesAxiom visit(OWLDisjointObjectPropertiesAxiom ax) { return df.getOWLDisjointObjectPropertiesAxiom(list(ax.properties()), a(ax)); }
@Override public OWLSameIndividualAxiom visit(OWLSameIndividualAxiom ax) { return df.getOWLSameIndividualAxiom(list(ax.individuals()), a(ax)); }
@Override public OWLDisjointClassesAxiom visit(OWLDisjointClassesAxiom ax) { return df.getOWLDisjointClassesAxiom(list(ax.classExpressions()), a(ax)); }
@Override public OWLDatatypeRestriction visit(OWLDatatypeRestriction node) { return df.getOWLDatatypeRestriction(t(node.getDatatype()), list(node.facetRestrictions())); }
@Override public OWLDatatypeRestriction visit(OWLDatatypeRestriction node) { return df.getOWLDatatypeRestriction(t(node.getDatatype()), list(node.facetRestrictions())); }
@Override public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) { return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()), a(ax)); }
@Override public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) { return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()), a(ax)); }
@Override public OWLDisjointUnionAxiom visit(OWLDisjointUnionAxiom ax) { return df.getOWLDisjointUnionAxiom(t(ax.getOWLClass()), list(ax.classExpressions()), a(ax)); }
@Override public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) { return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()), a(ax)); }