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

<<( :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.
: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).
<<( :z :q :x )>> owlstar:hasInterpretation owlstar:SubClassOfSomeValuesFrom.
