如何创建公理，例如
在Java中的Apache Jena中？不幸的是，我并不真正了解OWL或RDF，但是我必须创建一个本体，其中某些类（例如Cold）有时是Positive类的子类，有时是Negative类的子类。如何为Cold添加（条件）父类？
最佳答案
第一条语句读取（类）Positive等效于（类）Cold和Beer的交集。
为了表示等价，您可以使用：
OntClass.equivalentClass
并在两个类之间创建积分，您可以使用：
OntModel.createIntersectionClass
有关详细信息，请参见@UninformedUser提供的链接。
尽管最常见的是从RDF加载：
:Positive rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Beer :Cold ) ] .