OWL profile detection and diagnostics for OntoLogos.

v0.2 classifies ontologies into OWL 2 EL, RL, QL, or DL profiles using mapped TBox constructs. Diagnostics also report constructs observed in the full parse that fall outside the detected profile.

Example

use ontologos_core::Ontology;
use ontologos_profile::{detect_profile, OwlProfile};

let ontology = Ontology::default();
let report = detect_profile(&ontology)?;
assert_eq!(report.detected, Some(OwlProfile::Ql));
# Ok::<(), Box<dyn std::error::Error>>(())

See profile detection guide.