Inference Rule Engine : addInferenceRule

[ofilangi]

add inference rule construction

set inference rule example

construct {
  ?x ?p ?z
}
where {
  ?p a owl:TransitiveProperty .
  ?x ?p ?y .
  ?y ?p ?z 
}

behaviours

Should be apply on the current query context

example

supposing property is a owl:TransitiveProperty

<p1> <property> <p4>
<p2> <property> <p4>
<p4> <property> <p6>

query

select ?v where {
<p1> <property> ?v .
}

expected results

<p1> <property> <p4>
<p1> <property> <p6>

owl:TransitiveProperty build new triplet without context

<p1> <property> <p6>
<p2> <property> <p6>

owl:TransitiveProperty build new triplet with context

<p1> <property> <p6>

add library of InferenceRules

• addOwlTransitivePropertyIR
• addOwlSymmetricIR
• addOwlSameAsIR
• addDefaultInferenceRules()

reference
http://ns.inria.fr/sparql-extension/rule.html#:~:text=Inference%20rules%20are%20construct%20where,XML%20syntax%20as%20shown%20below.

[ofilangi]

SWDiscovery(config)
   .rule("owl:transitive")
        .something("p")
           .isA("owl:TransitiveProperty")
        .root()
          .something("x")
            .isSubjectOf("p","y")
               .isSubjectOf("p","z")
            .construct()
              . something("x")
                   .isSubjectOf("p","z")
   .query()
       .something().set("<p1>")
         .isSubjectOf("<property>","v")
          .select("val")

note : add query operation for query part

[ofilangi]

some reasoners:

• https://github.com/liveontologies/elk-reasoner
• https://github.com/spacewalk01/spark-owl-reasoner
• https://github.com/nowi/DIRE