Skip to content

OWL QL API Reference

Conjunctive query answering via ontologos-ql.

Requires a classified ontology (Taxonomy from EL or DL classification).

Parse a query

use ontologos_ql::parse_conjunctive_query;

let query = parse_conjunctive_query("Type(?x, http://ex.org/A)")?;

Limits: MAX_QUERY_LEN, MAX_QUERY_ATOMS (see docs.rs).

Answer a query

use ontologos_ql::{answer_query, parse_conjunctive_query};

let query = parse_conjunctive_query("Type(?x, http://ex.org/Person)")?;
let answers = answer_query(&ontology, &taxonomy, &query)?;

Each QueryAnswer binds query variables to entity IDs.

CLI

ontologos query --query 'Type(?x, http://ex.org/A)' ontology.owl

Requires prior classification or uses profile routing internally — see CLI reference.

Errors

Variant Cause
UnknownClass Class IRI not in ontology
Parse Invalid query syntax
Query Wrapped hierarchy navigation error