Crate ontologos_query 

Query interface over classified ontologies.

Example

use ontologos_core::{EntityId, Ontology, Taxonomy};
use ontologos_query::QueryEngine;

let ontology = Ontology::default();
let taxonomy = Taxonomy::default();
let engine = QueryEngine::new(&ontology, &taxonomy);
assert!(engine.unsatisfiable_classes().is_empty());

Structs

QueryEngine

Query handle over a classified ontology taxonomy.

Enums

Error

Query errors.

Type Aliases

Result

Result type for query operations.