see

If two equivalence classes share an element, they are the same class.

Insight

The compiled query selected 18 fact(s) after the rule closure was computed.
Main conclusion: :result :sameClassBecauseOfSharedMember (:a :b :c).

Selected conclusions:

• :result :sameClassBecauseOfSharedMember (:a :b :c) .
• :result :sameClassBecauseOfSharedMember (:a :c :c) .
• :result :sameClassBecauseOfSharedMember (:c :b :a) .
• :result :sameClassBecauseOfSharedMember (:c :a :a) .
• :result :sameClassBecauseOfSharedMember (:b :a :c) .
• :result :sameClassBecauseOfSharedMember (:b :c :c) .

Explanation

The generated JavaScript starts from 5 compiled source fact(s), applies 7 compiled rule(s), and stops only after a fixpoint is reached.
After saturation, the compiled log:query directive projects only the matching facts shown in the insight, rather than dumping the whole graph.

A compact derivation path is:

• Rule 1: if ?x :inX true, then ?x :sim ?x. This produced :a :sim :a .
  • Premises used:
    • :a :inX true . (source fact)
• Rule 1: if ?x :inX true, then ?x :sim ?x. This produced :b :sim :b .
  • Premises used:
    • :b :inX true . (source fact)
• Rule 1: if ?x :inX true, then ?x :sim ?x. This produced :c :sim :c .
  • Premises used:
    • :c :inX true . (source fact)
• Rule 2: if ?x :sim ?y, then ?y :sim ?x. This produced :a :sim :b .
  • Premises used:
    • :b :sim :a . (source fact)
• Rule 2: if ?x :sim ?y, then ?y :sim ?x. This produced :c :sim :b .
  • Premises used:
    • :b :sim :c . (source fact)
• Rule 3: if ?x :sim ?y; ?y :sim ?z, then ?x :sim ?z. This produced :a :sim :c .
  • Premises used:
    • :a :sim :b . (derived fact)
    • :b :sim :c . (source fact)
• Rule 3: if ?x :sim ?y; ?y :sim ?z, then ?x :sim ?z. This produced :c :sim :a .
  • Premises used:
    • :c :sim :b . (derived fact)
    • :b :sim :a . (source fact)
• Rule 4: if ?u :sim ?x, then ?u :inClassOf ?x. This produced :b :inClassOf :a .
  • Premises used:
    • :b :sim :a . (source fact)

Evidence

These are the facts selected by the query projection.

:result :sameClassBecauseOfSharedMember (:a :c :b) .  
:result :sameClassBecauseOfSharedMember (:a :b :b) .  
:result :sameClassBecauseOfSharedMember (:c :a :b) .  
:result :sameClassBecauseOfSharedMember (:c :b :b) .  
:result :sameClassBecauseOfSharedMember (:a :b :a) .  
:result :sameClassBecauseOfSharedMember (:a :c :a) .  
:result :sameClassBecauseOfSharedMember (:b :a :b) .  
:result :sameClassBecauseOfSharedMember (:b :c :b) .  
:result :sameClassBecauseOfSharedMember (:c :b :c) .  
:result :sameClassBecauseOfSharedMember (:c :a :c) .  
:result :sameClassBecauseOfSharedMember (:b :a :a) .  
:result :sameClassBecauseOfSharedMember (:b :c :a) .  
:result :sameClassBecauseOfSharedMember (:b :c :c) .  
:result :sameClassBecauseOfSharedMember (:b :a :c) .  
:result :sameClassBecauseOfSharedMember (:c :a :a) .  
:result :sameClassBecauseOfSharedMember (:c :b :a) .  
:result :sameClassBecauseOfSharedMember (:a :c :c) .  
:result :sameClassBecauseOfSharedMember (:a :b :c) .