pub trait Reasoner<T>: Execute<T> { }Expand description
An RDF entailer that derives consequences under a documented regime or rule system.
The program defines whether output includes the original statements or only additional consequences, and how named graphs and inconsistent input are handled. The pattern specifies no particular reasoning algorithm, rule language, or completeness guarantee.
§Command-line contract
PROGRAM [OPTIONS] [INPUT-FILE [OUTPUT-FILE]]
Input and output default to stdin and stdout. A single operand selects
input; two select input then output, with - denoting a standard stream.
ReasonerOptions selects RDF serializations, both defaulting to jsonl.
T is the implementation’s result representation. See crate::programs
for links to concrete execution behavior and the reasoner specification.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".