Web SHACL validator returns incorrect results: apparent bug

[Don Rolph]

I have a set of triples which I am validating using the Web interface with TopBraid Maestro.

The triples use owl:imports to load additional triples at run time.

The SHACL file does not import any triples using owl:imports.

Validation passes:

- when I pass raman-dc.ttl to be checked to the web interface

- when I pass raman-dc.shapes.ttl to the web interface SHACL

Validation passes:

- when I pass raman-dc.ttl to be checked to the web interface

- when I pass raman-dc.shapes.ttl to the web interface SHACL

- when I import raman-dc.shapes.ttl into the TopBraid Maestro project

Validation fails:

- when I pass raman-dc.ttl to be checked to the web interface

- when I pass raman-dc.shapes.ttl to the web interface SHACL

- when I import raman-dc.shapes.ttl into the TopBraid Maestro project

- I then open raman-dc.shapes.ttl in TopBraid Maestro

Based on the performance it appears that raman-dc.shapes.ttl is being included in the triples being checked when it is open in TopBraid Maestro.

This would appear to be a bug.

[Irene Polikoff]

Please see below

On May 20, 2020, at 1:33 PM, Don Rolph <don....@gmail.com> wrote:

I have a set of triples which I am validating using the Web interface with TopBraid Maestro.

The triples use owl:imports to load additional triples at run time.

The SHACL file does not import any triples using owl:imports.

Validation passes:

- when I pass raman-dc.ttl to be checked to the web interface

- when I pass raman-dc.shapes.ttl to the web interface SHACL

Validation passes:

- when I pass raman-dc.ttl to be checked to the web interface

- when I pass raman-dc.shapes.ttl to the web interface SHACL

- when I import raman-dc.shapes.ttl into the TopBraid Maestro project

Validation fails:

- when I pass raman-dc.ttl to be checked to the web interface

- when I pass raman-dc.shapes.ttl to the web interface SHACL

- when I import raman-dc.shapes.ttl into the TopBraid Maestro project

- I then open raman-dc.shapes.ttl in TopBraid Maestro

This seems correct to me. 

Each graph in a TopBraid workspace needs a base URI to identify it. For raman-dc.ttl, base URI is <urn:uuid:413befdd-c7e2-4edd-9e9b-06cf1cb0283f>

This graph contains the following:

<urn:uuid:413befdd-c7e2-4edd-9e9b-06cf1cb0283f>

  rdf:type owl:Ontology ;

  owl:imports <http://purl.allotrope.org/manifests/raman/WD/2020/03/raman.manifest> ;

http://purl.allotrope.org/manifests/raman/WD/2020/03/raman.manifest is available on the web and it contains:

<http://purl.allotrope.org/manifests/raman/WD/2020/03/raman.manifest> rdf:type <http://purl.allotrope.org/ontologies/manifest#Manifest>, owl:Ontology  ;
                                                                             owl:imports <http://purl.allotrope.org/shapes/adm/raman/WD/2020/03/raman.shapes> ;
																			 owl:imports <http://purl.allotrope.org/voc/afo/merged/REC/2019/12/merged.ttl> .

Since base URI for raman-dc.shapes.ttl is <http://purl.allotrope.org/shapes/adm/raman/WD/2020/03/raman.shapes>, when you open raman-dc.ttl, raman-dc.shapes.ttl gets imported into it.

Note that this fetching of referenced graphs by following owl:imports references to “non local”(i.e., outside the workspace) resources is performed only in TBC when you open a graph. It is considered to be a security risk for the server and is not done.

If you go to the Server Administration -> Base URI Management, you will see a warning. Here I am showing it in TopBraid project because this is where I placed your files. You will see it in your project

If you click on Show, you will see the graph that has an issue

This indicates that the graph with the base URI of <urn:uuid:413befdd-c7e2-4edd-9e9b-06cf1cb0283f> stored in a workspace as a file called raman-dc.ttl, contains owl:imports reference to some graph that is not in the workspace.

Based on the performance it appears that raman-dc.shapes.ttl is being included in the triples being checked when it is open in TopBraid Maestro.

This would appear to be a bug.

--
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/a727adaa-837c-43a8-99d6-9a1ccda8f7e4%40googlegroups.com.
<raman-dc.ttl><raman-dc.shapes.ttl>