Я хочу создать следующие
s p xlt .
_:x rdf:type owl:Axiom .
_:x owl:annotatedSource s .
_:x owl:annotatedProperty p .
_:x owl:annotatedTarget xlt
Я видел какой-то код для этого в Йене, я хотел бы знать, есть ли способ сделать это с помощью OWL-API? Утверждение не обязательно должно существовать в реальной онтологии. Это больше означает происхождение.
Аннотированная аксиома в онтологии все еще является аксиомой в онтологии. Если вы действительно хотите что-то по происхождению, я думаю, вам придется сделать что-то немного другое.
В вашем случае, однако, похоже, что вам просто нужен ObjectPropertyAssertionAxiom с некоторыми аннотациями. Вам просто нужно использовать метод OWLDataFactory getOWLObjectPropertyAssertionAxiom, который принимает свойство, индивидуум, объект и набор OWLAnnotations.
документация OWLAPI также включает большое количество примеров, в том числе тот, который показывает, как создавать и читать аннотации, что может быть или не быть поучительным в вашем случае.
