ontologos-query 0.5.0

Query interface for OntoLogos ontologies
Documentation

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());