RDFS entailment missing on rdf:List blank nodes

[NicoRobertIn]

Issue Description:

RDFS entailment seems not to include the entailment of the blank nodes in a collection into rdf:List

Bug Details:

If a turtle file including a collection is injected into Corese and the RDFS entailment is then applied, the blank nodes are not inferred of type rdf:List

The turtle definition of the collection and the rdf:rest property The rdfs:range value of the property rdf:rest The RDFS entailment rules

Steps to Reproduce:

Load into Corese this graph:

@prefix ex: <https://www.example.org/> .

ex:A a owl:Class .
ex:p a owl:ObjectProperty ; rdfs:range ex:A .

ex:John ex:p [] ; ex:i ( ex:a ex:b ex:c ) .

Then enable RDFS entailment, and finally execute this query

select * where {
  ?x a rdf:List
}

Expected Behavior:

The RDFS entailment should set the nodes of the collection as rdf:List, so the request should provide results

Actual Behavior:

The query provides no results

[FabienGandon]

there are two entailments modes/levels for RDFS in CORESE: "RDFS" and "RDFS extended". Did you test both?

[NicoRobertIn]

In the Engine menu I see "RDFS subset" and "RDFS RL", and I tried both