else if (axiom.getAFun().equals(ATermUtils.TRANSITIVEFUN)) convertUnary(axiom, OWL.TransitiveProperty); else if (axiom.getAFun().equals(ATermUtils.FUNCTIONALFUN)) convertUnary(axiom, OWL.FunctionalProperty); else if (axiom.getAFun().equals(ATermUtils.INVFUNCTIONALFUN)) convertUnary(axiom, OWL.InverseFunctionalProperty); else if (axiom.getAFun().equals(ATermUtils.SYMMETRICFUN)) convertUnary(axiom, OWL.SymmetricProperty); else if (axiom.getAFun().equals(ATermUtils.ASYMMETRICFUN)) convertUnary(axiom, OWL2.AsymmetricProperty); else if (axiom.getAFun().equals(ATermUtils.REFLEXIVEFUN)) convertUnary(axiom, OWL2.ReflexiveProperty); else if (axiom.getAFun().equals(ATermUtils.IRREFLEXIVEFUN)) convertUnary(axiom, OWL2.IrreflexiveProperty); else if (axiom.getAFun().equals(ATermUtils.TYPEFUN))
else if (axiom.getAFun().equals(ATermUtils.TRANSITIVEFUN)) convertUnary(axiom, OWL.TransitiveProperty); else if (axiom.getAFun().equals(ATermUtils.FUNCTIONALFUN)) convertUnary(axiom, OWL.FunctionalProperty); else if (axiom.getAFun().equals(ATermUtils.INVFUNCTIONALFUN)) convertUnary(axiom, OWL.InverseFunctionalProperty); else if (axiom.getAFun().equals(ATermUtils.SYMMETRICFUN)) convertUnary(axiom, OWL.SymmetricProperty); else if (axiom.getAFun().equals(ATermUtils.ASYMMETRICFUN)) convertUnary(axiom, OWL2.AsymmetricProperty); else if (axiom.getAFun().equals(ATermUtils.REFLEXIVEFUN)) convertUnary(axiom, OWL2.ReflexiveProperty); else if (axiom.getAFun().equals(ATermUtils.IRREFLEXIVEFUN)) convertUnary(axiom, OWL2.IrreflexiveProperty); else if (axiom.getAFun().equals(ATermUtils.TYPEFUN))
else if (axiom.getAFun().equals(ATermUtils.TRANSITIVEFUN)) convertUnary(axiom, OWL.TransitiveProperty); else if (axiom.getAFun().equals(ATermUtils.FUNCTIONALFUN)) convertUnary(axiom, OWL.FunctionalProperty); else if (axiom.getAFun().equals(ATermUtils.INVFUNCTIONALFUN)) convertUnary(axiom, OWL.InverseFunctionalProperty); else if (axiom.getAFun().equals(ATermUtils.SYMMETRICFUN)) convertUnary(axiom, OWL.SymmetricProperty); else if (axiom.getAFun().equals(ATermUtils.ASYMMETRICFUN)) convertUnary(axiom, OWL2.AsymmetricProperty); else if (axiom.getAFun().equals(ATermUtils.REFLEXIVEFUN)) convertUnary(axiom, OWL2.ReflexiveProperty); else if (axiom.getAFun().equals(ATermUtils.IRREFLEXIVEFUN)) convertUnary(axiom, OWL2.IrreflexiveProperty); else if (axiom.getAFun().equals(ATermUtils.TYPEFUN))