Crate ontologos_ql 

OWL QL conjunctive query answering and taxonomy hierarchy navigation.

Re-exports

pub use hierarchy::TaxonomyHierarchy;

pub use rewrite::rewrite_query;

Modules

hierarchy

Taxonomy hierarchy navigation (subclasses, subsumption) after classification.

rewrite

Query rewriting over a classified taxonomy (OWL QL fragment).

Structs

ConjunctiveQuery

Conjunctive query (AND of atoms).

QueryAnswer

One answer binding (variable → entity id).

Enums

Error

QL query errors.

QueryAtom

A conjunctive query atom: Class(var) or SubClassOf(var, class).

Constants

MAX_QUERY_ATOMS

OWL QL allows at most one query atom.

MAX_QUERY_LEN

Maximum conjunctive query string length.

Functions

answer_query

Answer a conjunctive query over a classified ontology.

parse_conjunctive_query

Parse a conjunctive query string.

Type Aliases

Result

Result type for QL operations.