Skip to main content

run_dl_query

Function run_dl_query 

Source
pub fn run_dl_query(
    profile: ReasonerId,
    input: &ReasonerInput,
    expression: &str,
    namespaces: &BTreeMap<String, String>,
    mode: DlQueryMode,
) -> Result<DlQueryResult>
Expand description

Run a Manchester class-expression DL Query against input.

Named class expressions use the hierarchy (asserted or inferred) and realization directly. Anonymous expressions are evaluated by injecting a temporary EquivalentClasses(Q, CE) axiom into a cloned ontology (never written to disk).