Documentation for ICV missing in 6.0.1 docs


(Matthias Autrata) #1

In the manual here: https://www.stardog.com/docs/#_icv_examples 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).