Skip to main content

eval_query_reasoned

rete_core::reasoning

Function eval_query_reasoned 

Source 
pub fn eval_query_reasoned(
    rete: &Rete,
    query: &str,
) -> Result<QueryOutput, SparqlError>
Expand description

Like eval_query, but with OWL 2 QL entailment on: the lowered plan is rewritten by the internal QL lowering pass so the answer includes ontology-entailed solutions (Stage 1a: rdfs:subClassOf), computed over the raw data with no materialization. Opt-in — a plain eval_query is byte-identical to before.