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.

Enums

ClassifyOutcome

Result of a profile-routed classification run.

Error

EL engine errors.

ProfileFlag

Explicit profile selection for CLI and bindings.

Functions

classify_reasoner

Classify when the reasoner profile is Profile::El.

classify_with_profile

Run classification using the reasoner’s configured profile.

resolve_profile_flag

Resolve an explicit CLI/API profile override against auto-detection.

try_classify_reasoner

Classify when the reasoner profile is Profile::El; otherwise returns CoreError::NotImplemented.

Type Aliases

Result

Result type for EL operations.