Automatically show inferred values by RDFS+ inference

[jmvanel]

Automatically show inferred values from several OWL/RDFS generic rules:

• owl:inverseOf axioms : https://www.w3.org/TR/2004/REC-owl-guide-20040210/#inverseOf
• owl:equivalentClass
• owl:equivalentProperty
• rdfs:subClassOf
• rdfs:subPropertyOf
• owl:sameAs
• others ...

The so called RDFS+ inference is builtin in BlazeGraph, but not in Jena TDB. See https://wiki.blazegraph.com/wiki/index.php/InferenceAndTruthMaintenance

It's not clear at the moment whether we will :

• implement RDFS+ inference downstream in the view, as is done today for proposing values, that takes in account rdfs:subClassOf
• implement RDFS+ inference by writing in the Triple store Jena TDB (but then need to manage Truth Maintenance, as is done partially today for display labels in InstanceLabelsInferenceMemory
• migrate to BlazeGraph ( see issue )

[jmvanel]

We will do this :

implement RDFS+ inference downstream in the view, as is done today for proposing values, that takes in account rdfs:subClassOf

See architecture here: https://github.com/jmvanel/semantic_forms/issues/170 , signature:

def step(formSyntax: FormSyntax): FormSyntax