Crate ontologos_el 

OWL EL completion-based classification.

Example

use ontologos_el::ElClassifier;
use ontologos_parser::load_ontology;

let ontology = load_ontology(std::path::Path::new("ontology.owl"))?;
let taxonomy = ElClassifier::new().classify(&ontology)?;
println!("subsumptions: {}", taxonomy.subsumption_count());

Structs

ElClassifier

OWL EL classifier using completion rules.

ElEngine

OWL EL profile engine adapter.

ElReport

EL classification report with optional inference trace.

ElSession

Cached EL completion state for incremental classification.

Enums

Error

EL engine errors.

Functions

classify_reasoner

Classify when the reasoner profile is Profile::El.

classify_with_report

Classify and return taxonomy plus optional inference trace.

take_el_session

Extract an ElSession from a core reasoner, if present.

Type Aliases

Result

Result type for EL operations.