java - OWLAPI - 如何添加声明和基数等引用？

Question

我正在尝试使用 OWL-API 3.5.0 以编程方式从数据模型构建 OWL 文件。

一般来说，该模型遵循 A -> B 的形式，其中关系(“->”)可以是子类或属性。

我认为我的子类正在工作，但我不确定如何添加以下内容。

1. 声明。 Protegé 为 IRI 提供以下功能:

<Declaration>
<DataProperty IRI="#foo"/>
</Declaration>

对于 OWL-API，我完全看不出这种情况会发生在哪里。

基数和数据类型。我可以获得基数的引用，但我不知道是什么样的 Axiom创建这样的东西，以便我可以将其添加到我的本体中，但我不确定应该添加什么。

对于#Name ，例如，我有一个 #firstName数据属性，以及 #hasName以及。我当前的流程是:

val topProperty = df.getOWLTopDataProperty
val hasChild = df.getOWLDataProperty(exampleIRI + "#has" + concept.getName)
val child = df.getOWLDataProperty(exampleIRI + "#" + concept.getName)
m.applyChange(new AddAxiom(o,
df.getOWLDeclarationAxiom(child)))
val parentConcept = findConcept(concept.getRelated, concepts).get
val parent = df.getOWLClass(exampleIRI + "#" + parentConcept.getName)

我尝试使用

设置数据范围

val dataRange=df.getOWLDatatypeRestriction(
df.getOWLDataType("string")
val classExp = df.getOWLDataSomeValuesFrom(child, dataRange)
m.applyChange(new AddAxiom(o, df.getOWLSubClassOfAxiom(parent, classExp)))

但这..无法正常工作。 Protegé 向我展示了基数已被破坏，并且在 protegé 中，当我手动创建结构时，它使用“&xsd;string”类型正确设置基数，而我的代码不会复制该类型。

我认为我理解本体的结构(并且我痛苦地意识到我可能不知道我知道的有多少)，但是我在 Protegé 中有一个可用的 OWL(可以将其转换为有效的 XSD，这是这里的最终目标)；我只是不知道如何弥合 Protegé 生成的文件和 OWL-API 生成的内容之间的差距。

我尝试使用 Jena，但对我来说更不清楚，Protegé 据说有一个客户端库，看起来它将是 OWL-API 和我的数据模型之间的一个出色的层，但是即使从源代码开始，Protegé 库也不会按照他们的文档为我构建。

Answer 1

声明公理

<Declaration>
   <DataProperty IRI="#foo"/>
</Declaration>

这种公理是声明公理。看看OWLDeclarationAxiom和 getOWLDeclarationAxiom(OWLEntity owlEntity) 。如果您已经习惯使用 OWLAPI，那么这些链接应该足以让您继续使用。一旦为实体创建了声明公理，您只需将其添加到本体中，就像任何其他公理一样。

事实上，看起来您已经在第二个 Java 代码示例中做了这类事情。如果您没有得到预期的结果，请提供一个更具体、最简单的示例来说明什么不起作用。

基数

我不太确定你想在这里完成什么。也就是说，从您的代码中，我不清楚您想要最终得到什么公理。听起来你有一个类 Person 和一个属性 hasFirstName 之类的东西，并且你想要断言

Person ⊑ =1 hasFirstName.String

为了表示一个人恰好有一个来自字符串数据类型的名字。有两个类表达式，Person 和 =1 hasFirstName.String，然后您只需在它们之间断言一个子类公理。获取对 Person 类的引用并创建和添加子类公理应该不会太难，但确切的量化基数限制可能有点棘手。为此，您可以使用 getOWLDataExactCardinality(cardinality, property, dataRange) 。您可以使用 Ignazio 在 this answer 中提到的任一技术来获取所需的数据范围 (xsd:string)。 :

OWLDatatype string = OWL2Datatype.XSD_STRING.getDatatype(df)

OWLDatatype string = df.getOWLDatatype(XSDVocabulary.parseShortName("xsd:string"));