java - 使用 OWL API 生成 DL 表达式

Question

我需要从 OWL API 中的 OWLObject 生成 DL 表达式。目前，我正在使用 DLSyntaxObjectRenderer，例如:

DLSyntaxObjectRenderer obj = new DLSyntaxObjectRenderer();

问题是生成的 DL 表达式仅包含资源的标签(例如 Awning ⊔ Door ⊔ Gate ⊔ Shutter ⊔ Window)。虽然这些是语法上有效的 DL 表达式，但为了实现目的，我需要原子实体的 IRI，以便之后可以使用 OWL API 加载表达式，而无需加载整个本体。

我怎样才能实现这一目标？

Answer 1

ShortFormProvider 确定实体的呈现。它有多种实现，例如ManchesterOWLSyntaxPrefixNameShortFormProvider、QNameShortFormProvider、SimpleShortFormProvider。例如，以下代码使用 DLSyntaxObjectRenderer 并使其使用实体的 IRI 渲染 DL 表达式，

obj = new DLSyntaxObjectRenderer();
ShortFormProvider shortFormProvider = new ShortFormProvider() {
                @Override
                public String getShortForm(OWLEntity owlEntity) {
                    return owlEntity.getIRI().getIRIString();
                }
            };
obj.setShortFormProvider(shortFormProvider);

要渲染表达式exp，只需使用obj.render(exp)