如何在OWL API中漂亮地打印带有标签而不是IRI剩余部分的公理？

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.*;

public class OWLAPIDemo {
    public static void main(String[] args) throws OWLOntologyCreationException {
        // 创建本体管理器
        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();

        // 加载本体文件
        OWLOntology ontology = manager.loadOntologyFromOntologyDocument(IRI.create("path/to/ontology.owl"));

        // 获取所有公理
        for (OWLAxiom axiom : ontology.getAxioms()) {
            // 获取公理类型
            AxiomType<?> axiomType = axiom.getAxiomType();

            // 处理ClassAssertion类型的公理
            if (axiomType.equals(AxiomType.CLASS_ASSERTION)) {
                OWLClassAssertionAxiom classAssertionAxiom = (OWLClassAssertionAxiom) axiom;

                // 获取类表达式的IRI
                IRI classIRI = classAssertionAxiom.getClassExpression().asOWLClass().getIRI();

                // 获取IRI的短形式，即标签
                String label = classIRI.getShortForm();

                // 打印带有标签的公理
                System.out.println("Class Assertion: " + label + " " + classAssertionAxiom.getIndividual());
            }
            // 处理其他类型的公理...
        }
    }
}