---
layout: default
title: reasoning
parent: Stardog CLI Reference
has_children: true
has_toc: false
description: This page contains the commands available in the stardog reasoning command group.
---

# `reasoning`

Reasoning is the software service that lets Stardog infer new, unstated (i.e., implicit) information from the known (i.e., explicit) data. Read all about Stardog's [reasoning capabilities](../../inference-engine).


Select any of the commands to view their manual page.

| Command | Description |
|---------|-------------|
| [`reasoning consistency`](./reasoning-consistency) | Checks the logical consistency of database. |
| [`reasoning explain`](./reasoning-explain) | Provide the explanation for an inference or inconsistency. |
| [`reasoning schema`](./reasoning-schema) | Management of reasoning schemas. |

