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).