see

Existential rule

Insight

The derivation produced 2 new fact(s) from 2 stated fact(s).
Main conclusion: :Plato is _:B.

Selected conclusions:

• :Plato :is _:B .
• :Socrates :is _:B .

Explanation

The generated JavaScript starts from 2 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 ?S rdf:type :Human, then ?S :is _:B. This produced :Socrates :is _:B .
  • Premises used:
    • :Socrates rdf:type :Human . (source fact)
• Rule 1: if ?S rdf:type :Human, then ?S :is _:B. This produced :Plato :is _:B .
  • Premises used:
    • :Plato rdf:type :Human . (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.

:Socrates :is _:B .  
:Plato :is _:B .