Trait ReasonerAdapter 

pub trait ReasonerAdapter: Send + Sync {
    // Required methods
    fn id(&self) -> ReasonerId;
    fn profile(&self) -> ReasonerProfile;
    fn classify(&self, input: &ReasonerInput) -> Result<ClassificationResult>;
    fn explain(
        &self,
        input: &ReasonerInput,
        request: &ExplanationRequest,
    ) -> Result<ExplanationResult>;

    // Provided methods
    fn check_consistency(
        &self,
        input: &ReasonerInput,
    ) -> Result<ConsistencyResult> { ... }
    fn realize(&self, input: &ReasonerInput) -> Result<RealizationResult> { ... }
    fn check_instance(
        &self,
        input: &ReasonerInput,
        individual_iri: &str,
        class_iri: &str,
    ) -> Result<InstanceCheckResult> { ... }
    fn inferred_assertions(
        &self,
        input: &ReasonerInput,
    ) -> Result<InferredAssertions> { ... }
    fn consistency_detail(
        &self,
        input: &ReasonerInput,
        unsatisfiable: &[String],
    ) -> Result<ConsistencyDetail> { ... }
}

Required Methods

fn id(&self) -> ReasonerId

fn profile(&self) -> ReasonerProfile

fn classify(&self, input: &ReasonerInput) -> Result<ClassificationResult>

fn explain( &self, input: &ReasonerInput, request: &ExplanationRequest, ) -> Result<ExplanationResult>

Provided Methods

fn check_consistency(&self, input: &ReasonerInput) -> Result<ConsistencyResult>

fn realize(&self, input: &ReasonerInput) -> Result<RealizationResult>

fn check_instance( &self, input: &ReasonerInput, individual_iri: &str, class_iri: &str, ) -> Result<InstanceCheckResult>

fn inferred_assertions( &self, input: &ReasonerInput, ) -> Result<InferredAssertions>

fn consistency_detail( &self, input: &ReasonerInput, unsatisfiable: &[String], ) -> Result<ConsistencyDetail>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors