convertBinary(axiom, OWL.equivalentClass); else if (axiom.getAFun().equals(ATermUtils.SUBFUN)) convertBinary(axiom, RDFS.subClassOf); else if (axiom.getAFun().equals(ATermUtils.DISJOINTFUN)) convertBinary(axiom, OWL.disjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTSFUN)) else if (axiom.getAFun().equals(ATermUtils.EQPROPFUN)) convertBinary(axiom, OWL.equivalentProperty); else if (axiom.getAFun().equals(ATermUtils.SUBPROPFUN)) convertBinary(axiom, RDFS.subPropertyOf); convertBinary(axiom, OWL2.propertyDisjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTPROPSFUN)) else if (axiom.getAFun().equals(ATermUtils.DOMAINFUN)) convertBinary(axiom, RDFS.domain); else if (axiom.getAFun().equals(ATermUtils.RANGEFUN)) convertBinary(axiom, RDFS.range); else
convertBinary(axiom, OWL.equivalentClass); else if (axiom.getAFun().equals(ATermUtils.SUBFUN)) convertBinary(axiom, RDFS.subClassOf); else if (axiom.getAFun().equals(ATermUtils.DISJOINTFUN)) convertBinary(axiom, OWL.disjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTSFUN)) else if (axiom.getAFun().equals(ATermUtils.EQPROPFUN)) convertBinary(axiom, OWL.equivalentProperty); else if (axiom.getAFun().equals(ATermUtils.SUBPROPFUN)) convertBinary(axiom, RDFS.subPropertyOf); convertBinary(axiom, OWL2.propertyDisjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTPROPSFUN)) else if (axiom.getAFun().equals(ATermUtils.DOMAINFUN)) convertBinary(axiom, RDFS.domain); else if (axiom.getAFun().equals(ATermUtils.RANGEFUN)) convertBinary(axiom, RDFS.range); else
convertBinary(axiom, OWL.equivalentClass); else if (axiom.getAFun().equals(ATermUtils.SUBFUN)) convertBinary(axiom, RDFS.subClassOf); else if (axiom.getAFun().equals(ATermUtils.DISJOINTFUN)) convertBinary(axiom, OWL.disjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTSFUN)) else if (axiom.getAFun().equals(ATermUtils.EQPROPFUN)) convertBinary(axiom, OWL.equivalentProperty); else if (axiom.getAFun().equals(ATermUtils.SUBPROPFUN)) convertBinary(axiom, RDFS.subPropertyOf); convertBinary(axiom, OWL2.propertyDisjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTPROPSFUN)) else if (axiom.getAFun().equals(ATermUtils.DOMAINFUN)) convertBinary(axiom, RDFS.domain); else if (axiom.getAFun().equals(ATermUtils.RANGEFUN)) convertBinary(axiom, RDFS.range); else