Enum EngineKind 

pub enum EngineKind {
    El,
    Rdfs,
    Rl,
    Alc,
    Dl,
    Swrl,
    Hybrid,
}

Dispatch key for a profile-specific reasoning engine.

Variants

El

OWL EL completion-based classification.

Rdfs

RDFS materialization via reasonable.

Rl

OWL RL forward-chaining saturation.

Alc

OWL ALC tableau-lite classification.

Dl

OWL 2 DL coupled saturation + tableau.

Swrl

DLSafe SWRL with DL classification.

Hybrid

Auto-detected hybrid ontology (multiple profile modules).

Trait Implementations

impl Clone for EngineKind

fn clone(&self) -> EngineKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for EngineKind

impl Debug for EngineKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for EngineKind

impl Hash for EngineKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for EngineKind

fn eq(&self, other: &EngineKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for EngineKind