Reasoning principle

May I know whether the edges inferred by reasoning will be stored permanently or the edges appear every time when the reasoning is turned on for inference.

Thanks.

The latter. Stardog does not materialise inferences when you run a query with reasoning. You can store inferences by running an Update query with reasoning.

Best,
Pavel

I want to know how to use an Update query with reasoning to store inferences.
Can you please give a simple example?

Thanks.

If you run an update with reasoning enabled, the inferences will be computed and you can store them in the database. For example, if you had a rule to infer instances of :ReasoningExample, you could store them like so:

INSERT {
  ?x a :ReasoningExample
}
WHERE {
  ?x a :ReasoningExample
}

Additionally you can materialize all inferences using ?s ?p ?o.

Understand. I appreciate your help very much.