Link Search Menu Expand Document
Start for Free


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.

Command Description
reasoning consistency Checks the logical consistency of database.
reasoning explain Provide the explanation for an inference or inconsistency.
reasoning schema Management of reasoning schemas.
reasoning undo Generate an update plan that will undo an inference.