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

ClassifiedModule

One classified module in a hybrid ontology.

HybridReport

Hybrid classification report (per-module routing).

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

bottom_module_class_seeds

Expand DL class seeds with classes that depend on DL axioms (structural ⊥-module approximation).

classify_hybrid

Partition ontology into EL / RL / DL modules (signature + detected profile).

detect_profile

Detect the most specific OWL profile supported by the ontology.

detected_profile_kind

Map detected OWL profile to core routing kind.

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.

engine_for_profile

Route module to engine name for conformance / CLI.

extract_signature

Extract ⊥-module style signature: all class entities in the ontology.

merge_taxonomies

Merge module taxonomies (called from ontologos-dl after per-engine classify).

partition_axioms

Partition axiom ids into EL-safe and DL-residue buckets with dependency closure.

profile_from_ontology

Resolve profile from ontology for reasoner configuration helpers.

resolve_route

Resolve the engine route for a reasoner profile and ontology.

satisfies_el

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

signature_for_axioms

Extract class IRIs referenced by axioms.

subontology_with_axioms

Build a sub-ontology containing only the given axioms (entity ids preserved).

Type Aliases

Result

Result type alias for profile operations.