首页 > 解决方案 > Apache Jena 中的公理

问题描述

如何创建公理,例如

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

标签: javajenaowl

解决方案


第一条语句读取 (类) Positive等价于 (类) ColdBeer的交集。

要表示等价,您可以使用:

OntClass.equivalentClass

并创建两个类之间的交集,您可以使用:

OntModel.createIntersectionClass

有关详细信息,请参阅@UninformedUser 提供的链接

最常见的是,尽管您会从 RDF 加载它:

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

推荐阅读