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.

el_classification_forbidden_in

Constructs that block in-house EL classification when present in mapped axioms.

el_diagnostics

Profile diagnostics for constructs outside OWL 2 EL.

el_forbidden_in

Constructs present in constructs that fall outside OWL 2 EL.

profile_from_ontology

Resolve profile from ontology for reasoner configuration helpers.

satisfies_el

Returns true when every construct in constructs is allowed in OWL 2 EL.

Type Aliases

Result

Result type alias for profile operations.