According to the documentation, " Stardog supports user-defined rule reasoning together with a rich set of built-in functions using the SWRL syntax and builtins library", the Stardog rules are SWRL rules.
But then it says:
Stardog Rules Syntax is basically SPARQL "basic graph patterns" (BGPs) plus some very explicit new bits (
IF-THEN ) to denote the head and the body of a rule.
This is more like SPIN rules.
What's the relationship between Stardog rules with SWRL and SPIN?