如何使用标签而不是IRI剩余部分在OWL API中打印公理？

Question

我有一个应用程序以类似列表的方式呈现公理，允许用户在不同的OWLObjectRenderer实现（例如DLSyntaxObjectRenderer）之间切换。有没有办法，没有太多的黑客攻击（字符串替换等），这将允许我打印实体标签而不是IRI或IRI剩余？ （OWL API 4）

Answer 1

Protege在PrefixedOWLEntityAnnotationValueRenderer中实现了相同的功能，它看起来很简单，可以复制到非Protege项目。