Search code examples
owlprotegeprotege4

OWLAPI ObjectPropertyChain axioms


We know that in Protege is possible to create axioms with role chain and since Protege is based on OWLAPI should be possible to create them. I did not found examples in the official documentation, so it is possible to do it? One example here:

enter image description here

With the OWL syntax we have:

Declaration( ObjectProperty( :isEmployedAt ) )

ObjectPropertyAssertion( :isEmployedAt :Martin :SC )

SubObjectPropertyOf( ObjectPropertyChain( :isEmployedAt :isPartOf ) :isEmployedAt)

So, what is the equivalent in OWLAPI?


Solution

  • OWLDataFactory::getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,OWLObjectPropertyExpression superProperty)
    

    See Javadoc