Apache Jena中的公理

Question

如何创建公理，例如

在Java中的Apache Jena中？不幸的是，我并不真正了解OWL或RDF，但是我必须创建一个本体，其中某些类（例如Cold）有时是Positive类的子类，有时是Negative类的子类。 。如何为Cold添加（条件）父类？

Answer 1

第一个语句读取（类）Positive等效于（类）Cold和Beer的交集。

为了表示等价关系，您可以使用：

OntClass.equivalentClass

并在两个类之间创建积分，您可以使用：

OntModel.createIntersectionClass

有关详细信息，请参见@UninformedUser提供的链接

尽管最常见的是从RDF加载：

:Positive rdf:type owl:Class ;
          owl:equivalentClass [ owl:intersectionOf ( :Beer :Cold ) ] .