Function reason 

pub fn reason(base_triples: &[(String, String, String)]) -> Reasoning

Forward-chain the supported RDFS/OWL rules to a fixpoint, then scan for inconsistencies over the closed graph. inferred excludes triples already present in base_triples.