OWLAPI-如何添加类似声明和基数的引用？

Question

我试图通过OWL-API3.5.0从数据模型以编程方式构建一个OWL文件。

通常，模型遵循A->B的形式，其中关系（“->”）可以是一个子类，也可以是一个属性。

我想我有子类工作，但我不确定如何添加以下内容。

null

例如，对于#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

我尝试用

val dataRange=df.getOwlDataType perestriction（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

xml prettyprint-override"><Declaration>
   <DataProperty IRI="#foo"/>
</Declaration>

这种公理是一种声明公理。看看OWLDeclarationAxiom和getOWLDeclarationAxiom（OWLEntity OWLEntity）。如果您已经对使用OWLAPI感到有些舒服，那么这些链接应该足以让您继续使用。一旦您为实体创建了声明公理，您只需像任何其他公理一样将它添加到一个本体中。

实际上，您似乎已经在第二个Java代码示例中完成了这类工作。如果你没有得到你期望的结果，请提供一个更具体和最小的例子，说明什么是不起作用的。

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

OWLDatatype string = OWL2Datatype.XSD_STRING.getDatatype(df)

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