Query interface over classified ontologies.
Example
use ;
use QueryEngine;
let ontology = default;
let taxonomy = default;
let engine = new;
assert!;
Query interface over classified ontologies.
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());