Re: about SHACL rules engine

On 2021-08-10 5:38 pm, Joy lix wrote:
> Hi, there, I'm reading SHACL Advanced Features 1.1 specification, 
> https://w3c.github.io/shacl/shacl-af/#rules-examples , In 8.1 it mentions:
>
> For the data graph above, a SHACL rules engine will produce the 
> following inferred triples:
>       ex:SquareRectangle rdf:type ex:Square .
>
> I ran this example with shacl.org and 
> https://github.com/TopQuadrant/shacl ,
> but I only get a Validation Report with several results (confirm false),
> would anyone please tell me which SHACL rules engine I can use to get 
> this inferred triples?

See 
https://github.com/TopQuadrant/shacl/blob/master/src/test/java/org/topbraid/shacl/RuleExample.java

and the shaclinfer command line tool there 
https://github.com/TopQuadrant/shacl/tree/master/src/main/command

> Also, does the new version of SHACL specification support RDF-star and 
> SPARQL-star?

The SHACL spec predates RDF-star by several years, so it cannot yet 
support that. A future version may.

Meanwhile see https://github.com/w3c/rdf-star/issues/122


Holger


>
> Thanks in advance.
> Joylix