Аксиомы в Apache Йене

Question

Как я могу создавать аксиомы, такие как

Холодное \ sqcap Beer \ sqsubseteq Positive

Холодный \ sqcap Coffee \ sqsubseteq Negative

дюйм Apache Йена Java? К сожалению, я на самом деле не знаю OWL или RDF, но мне нужно создать онтологию, в которой определенный класс (например, Cold ) иногда является подклассом Positive класса, а иногда Отрицательный класс. Как мне добавить (условные) родительские классы для Cold ?

Answer 1

Первый оператор читает (класс) Положительный эквивалентен пересечению (классов) Холодное и Пиво .

Чтобы представить эквивалентность, вы можете использовать:

OntClass.equivalentClass

, а для создания взаимодействия между двумя классами вы можете использовать:

OntModel.createIntersectionClass

Подробнее см. Ссылку, предоставленную @ UninformedUser

Чаще всего вы загружаете это из RDF:

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