SHACL rule example in Protege

[riannella]

Hi, I tried to replicate the example in Section 8.1:
https://w3c.github.io/shacl/shacl-af/
to try out sh:rule in Protege and the SHACL plugin (with the Pellet reasoner running).

Unfortunately, I could not replicate the results (that is, a new axiom is inferred for the ex:SquareRectangle)

I used the below ontology/data file and the first example shapes graph (in green) in Section 8.1

Any ideas??

Cheers - Renato

=========

@Prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# .
@Prefix xsd: http://www.w3.org/2001/XMLSchema# .
@Prefix rdfs: http://www.w3.org/2000/01/rdf-schema# .
@Prefix ex: http://www.example.org/# .

ex:onto rdf:type owl:Ontology ;
rdfs:label "Test" .

ex:Rectangle rdf:type owl:Class ;
rdfs:label "Rectangle" .

ex:height rdf:type owl:DatatypeProperty ;
rdfs:range xsd:integer .

ex:width rdf:type owl:DatatypeProperty ;
rdfs:range xsd:integer .

ex:InvalidRectangle
a ex:Rectangle .

ex:NonSquareRectangle
a ex:Rectangle ;
ex:height 2 ;
ex:width 3 .

ex:SquareRectangle
a ex:Rectangle ;
ex:height 4 ;
ex:width 4 .

[fekaputra]

Hi, unfortunately the commands for validation and generation (i.e., SHACL-AF) are different and currently it's not supported in the SHACL plugin for protege. See this commit (TopQuadrant/shacl@c4db989) for SHACL-AF execution command.