Reasoning is the software service that lets Stardog infer some new (implicit, i.e., unstated) information from the known (i.e., explicit) data. Read all about Stardog’s reasoning capabilities.
The table below contains the CLI commands to work with reasoning in Stardog. Select any of the commands to view their manual page.
| ||Checks the logical consistency of database.|
| ||Provide the explanation for an inference or inconsistency.|
| ||Management of reasoning schemas.|
| ||Generate an update plan that will undo an inference.|