Crate ontologos_profile 

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));

See profile detection guide.

Modules

scanner

Construct scanning helpers for profile detection.

Structs

ProfileDiagnostic

Diagnostic emitted when unsupported constructs are encountered.

ProfileReport

Profile detection report for an ontology.

Enums

Error

Profile detection failed.

OwlConstruct

OWL 2 construct observed during parsing (for profile detection).

OwlProfile

Detected OWL 2 profile.

Functions

detect_profile

Detect the most specific OWL profile supported by the ontology.

profile_from_ontology

Resolve profile from ontology for reasoner configuration helpers.

Type Aliases

Result

Result type alias for profile operations.