Struct QueryEngine 

pub struct QueryEngine<'a> { /* private fields */ }

Query handle over a classified ontology taxonomy.

Implementations

impl<'a> QueryEngine<'a>

pub fn new(ontology: &'a Ontology, taxonomy: &'a Taxonomy) -> Self

pub fn direct_subclasses(&self, class: EntityId) -> Result<Vec<EntityId>>

pub fn direct_superclasses(&self, class: EntityId) -> Result<Vec<EntityId>>

pub fn is_subsumed(&self, sub: EntityId, sup: EntityId) -> Result<bool>

pub fn equivalent_classes( &self, class: EntityId, ) -> Result<Option<Vec<EntityId>>>

pub fn unsatisfiable_classes(&self) -> Vec<EntityId>

pub fn lookup(&self, iri: &str) -> Option<EntityId>

Trait Implementations

impl<'a> Debug for QueryEngine<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.