Crate ontologos_swrl 

DLSafe SWRL rule engine integrated with DL classification.

Structs

SwrlEngine

DLSafe SWRL profile engine adapter.

SwrlReport

Report from SWRL rule application.

Enums

Error

SWRL engine errors.

Functions

apply_swrl_rules

Extract and apply DLSafe SWRL rules via forward chaining.

classify_with_swrl

Classify with SWRL rules materialized post-DL.

is_consistent_with_swrl

Apply SWRL rules and check DL consistency on the materialized ontology.

materialize_swrl_rules

Materialize SWRL rule consequences as core axioms until saturation.

Type Aliases

Result

Result type for SWRL operations.