@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix owlstar: <http://example.org/owlstar#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix : <http://example.org/rdf-star-reasoning#>.

<<:x :p :y>> :s :o.
<<:y :q :x>> :s :o.
:p owl:inverseOf :q.
<<:x :p :y>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
<<:y :p :z>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
<<:y :q :x>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
<<:z :q :y>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
<<:x :p :z>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
<<:z :q :x>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
:p a owl:TransitiveProperty.
<<:x :p :y>> :probability 0.89 .
<<:y :q :z>> :probability 0.56 .
<<:y :q :x>> :probability 0.89 .
<<:x :r :z>> :probability 0.49840000000000007 .
<<:x :r :x>> :probability 0.7921 .
:r owl:propertyChainAxiom (:p :q).

