ontologos-facade 1.0.1

Unified OWL reasoner facade routing EL/RL/RDFS/DL
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use ontologos_core::{Ontology, Taxonomy};

/// Navigate a classified taxonomy hierarchy (subclasses, subsumption).
///
/// For OWL QL conjunctive queries use [`ontologos_ql::answer_query`].
pub fn taxonomy_hierarchy<'a>(
    ontology: &'a Ontology,
    taxonomy: &'a Taxonomy,
) -> ontologos_ql::TaxonomyHierarchy<'a> {
    ontologos_ql::TaxonomyHierarchy::new(ontology, taxonomy)
}