sophia_reasoner 0.10.0

A Rust toolkit for RDF and Linked Data - reasoner over Simple, RDF and RDF-Schema entailments
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use crate::{Inconsistency, ReasonableGraph, d_entailment::Recognized, ruleset::RuleSet};

/// A [`RuleSet`] for [Simple semantics](https://www.w3.org/TR/rdf12-semantics/#simple)
pub struct Simple;

impl RuleSet for Simple {
    fn prepare<D: Recognized>(_graph: &mut ReasonableGraph<D, Self>) {}
    fn saturate<D: Recognized>(_graph: &mut ReasonableGraph<D, Self>) -> Result<(), Inconsistency> {
        Ok(())
    }
}