see

Socrates inference

Insight

The compiled query selected 2 fact(s) after the rule closure was computed.
Main conclusion: :Socrates is a :Mortal.

Selected conclusions:

• :Socrates rdf:type :Mortal .
• :Socrates rdf:type :Human .

Explanation

The generated JavaScript starts from 2 compiled source fact(s), applies 1 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 ?S rdf:type ?A; ?A rdfs:subClassOf ?B, then ?S rdf:type ?B. This produced :Socrates rdf:type :Mortal .
  • Premises used:
    • :Socrates rdf:type :Human . (source fact)
    • :Human rdfs:subClassOf :Mortal . (source fact)

Evidence

These are the facts selected by the query projection.

:Socrates rdf:type :Human .  
:Socrates rdf:type :Mortal .