In the manual here: Home | Stardog Documentation Latest there is a reference to the formal ICV Semantics: https://www.stardog.com/icv/icv-specification.html and the link leads to a 404 Error.
Also, since you mention Terp in your eamples, you should make a statement somewhere that it is acceptable to write rules that way (or not).