see

Equals test

Insight

The derivation produced 1 new fact(s) from 1 stated fact(s).
Main conclusion: :test is true.

Selected conclusions:

• :test :is true .

Explanation

The generated JavaScript starts from 1 compiled source fact(s), applies 1 compiled rule(s), and stops only after a fixpoint is reached.

A compact derivation path is:

• Rule 1: if :X owl:sameAs :Y, then :test :is true. This produced :test :is true .
  • Premises used:
    • :X owl:sameAs :Y . (source fact)

Evidence

These are the derived non-input facts selected for the report. Source facts that support the explanation are shown inline with each derivation step.

:test :is true .