Staying with official SHACL

101 views
Skip to first unread message

Steve Ray

unread,
Jun 18, 2021, 3:58:11 PM6/18/21
to TopBraid Suite Users
Hi, I'm working with a standards committee that would rather avoid straying outside the official W3C SHACL standard. My question is, if I removed the import of datashapes.org/dash from the files I'm working with, does this bring the TopQuadrant tools to a crashing halt as far as running the SHACL reasoner?

I suppose another way of asking this is whether SHACL is built in to TBC under the hood, or is the dash import part of that?


Steve


Bohms, H.M. (Michel)

unread,
Jun 19, 2021, 3:44:42 AM6/19/21
to topbrai...@googlegroups.com

I have exactly the same issue in CEN TC442/WG4/TG3 ….

 

I now have:

 

# baseURI: https://w3id.org/sml/shacl/def

# imports: https://w3id.org/sml/rdfs/def

# imports: http://datashapes.org/dash

# imports: http://qudt.org/schema/qudt

# imports: http://qudt.org/vocab/quantitykind

# imports: http://qudt.org/vocab/unit

# imports: http://www.w3.org/2004/02/skos/core

# imports: https://www.w3.org/2006/time

# prefix: sml

 

@prefix dash: <http://datashapes.org/dash#> .

@prefix sml: <https://w3id.org/sml/def#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix quantitykind: <http://qudt.org/vocab/quantitykind/> .

@prefix qudt: <http://qudt.org/schema/qudt/> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix sh: <http://www.w3.org/ns/shacl#> .

@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

@prefix time: <http://www.w3.org/2006/time#> .

@prefix unit: <http://qudt.org/vocab/unit/> .

@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

 

<https://w3id.org/sml/shacl/def>

  a owl:Ontology ;

  owl:imports <https://w3id.org/sml/rdfs/def> ;

  owl:imports <http://datashapes.org/dash> ;

  owl:imports <http://qudt.org/schema/qudt> ;

  owl:imports <http://qudt.org/vocab/quantitykind> ;

  owl:imports <http://qudt.org/vocab/unit> ;

  owl:imports <https://www.w3.org/2006/time> ;

.

Etc.

 

But people question the red.

 

Thx michel

 

 

Dr. ir. H.M. (Michel) Bohms
Scientist Specialist
Structural Reliability

T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl

Location

 

This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.

--
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/CAGUep84C6i_88CtyP2ySiMBO-%2B2S_4p94Qxvt3N3Q%3DBipW2h1A%40mail.gmail.com.

David Price

unread,
Jun 19, 2021, 6:36:25 AM6/19/21
to topbrai...@googlegroups.com
Hi Steve and Michel

I’m not near my computer so cannot do it for you, but suggest replacing dash import with SHACL import and trying it. I think that’s ok.

Cheers,
David

On 19 Jun 2021, at 08:44, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:



This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.

 

Van: topbrai...@googlegroups.com <topbrai...@googlegroups.com> Namens Steve Ray
Verzonden: vrijdag 18 juni 2021 21:58
Aan: TopBraid Suite Users <topbrai...@googlegroups.com>
Onderwerp: [topbraid-users] Staying with official SHACL

 

Hi, I'm working with a standards committee that would rather avoid straying outside the official W3C SHACL standard. My question is, if I removed the import of datashapes.org/dash from the files I'm working with, does this bring the TopQuadrant tools to a crashing halt as far as running the SHACL reasoner?

 

I suppose another way of asking this is whether SHACL is built in to TBC under the hood, or is the dash import part of that?

 


Steve

--
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/CAGUep84C6i_88CtyP2ySiMBO-%2B2S_4p94Qxvt3N3Q%3DBipW2h1A%40mail.gmail.com.

--
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.

Steve Ray

unread,
Jun 19, 2021, 5:48:19 PM6/19/21
to TopBraid Suite Users
Very cool! With bated breath, I tried it, and nothing blew up!

It would be good to know at some point what functionality I lose by directly importing 
instead of
  owl:imports <http://datashapes.org/dash> ;

Steve




To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/38AE1500-E4BB-4DA2-AD81-D623A9221906%40topquadrant.com.

Irene Polikoff

unread,
Jun 19, 2021, 10:59:16 PM6/19/21
to topbrai...@googlegroups.com
This is very easy to find out. Just go to http://datashapes.org/dash. All functionality is explained in detail.

Bohms, H.M. (Michel)

unread,
Jun 20, 2021, 12:12:50 PM6/20/21
to topbrai...@googlegroups.com
Ok but....that stuff is not used internally, like when checking shacl?
Ie if we do not use it...no issue?
Thx

Op 20 jun. 2021 04:59 schreef Irene Polikoff <ir...@topquadrant.com>:

Irene Polikoff

unread,
Jun 20, 2021, 2:54:52 PM6/20/21
to topbrai...@googlegroups.com
If you have no need for it, you don’t have to use it, just like you don’t have to use every single feature of SHACL.

On Jun 20, 2021, at 12:12 PM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:



Holger Knublauch

unread,
Jun 20, 2021, 6:58:30 PM6/20/21
to topbrai...@googlegroups.com

In addition to the extra constraint components

    http://datashapes.org/constraints.html

the dash namespace also imports the tosh namespace, which contains constraints on the SHACL metamodel and therefore is used to drive the forms in EDG.

What you do with the files generated with TopBraid outside of TopBraid is of course your own decision. I assume all standards-compliant SHACL validation engines will support at least SHACL Core without any mandatory owl:imports. In the SHACL API that I wrote, the code uses dash and tosh internally to identify the constraint components, so they are internally added in case they don't exist in the provided shapes graph. But this happens automatically.

Holger

Bohms, H.M. (Michel)

unread,
Jun 21, 2021, 2:45:01 AM6/21/21
to topbrai...@googlegroups.com

Ahh, ok, these were the dependencies I was looking for! I guess Steve too.

So we have to remember to add in case of EDG-usage. Right?

(or is the use by EDG always via the shacl api so that is automatic?)

 

 

Dr. ir. H.M. (Michel) Bohms
Scientist Specialist
Structural Reliability

T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl

Location

 

This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.

Holger Knublauch

unread,
Jun 21, 2021, 2:49:26 AM6/21/21
to topbrai...@googlegroups.com

In EDG, shapes can only be defined in Ontology asset collections (or files in the workspace). Any EDG Ontology will automatically import dash and tosh. Therefore, once you import a file into an EDG ontology, the ontolgy will already use dash and tosh automatically, so that the forms etc work as they should.

Holger

Bohms, H.M. (Michel)

unread,
Jun 21, 2021, 2:53:48 AM6/21/21
to topbrai...@googlegroups.com

Ok, even better

Thx (for your patience…)

Steve Ray

unread,
Jun 21, 2021, 7:11:07 PM6/21/21
to TopBraid Suite Users
Hi Holger,
Things are looking good on my end using TBC 7.0.1 and only importing the SHACL URI and not dash or tosh. Running SHACL reasoning and SHACL validation both seem to work reliably. I'm assuming that, as you mentioned, dash and/or tosh are brought in automatically if needed.

The only exception is a summer student working on the standards project who is using the TBC Free edition (which seems to have moved backwards to 6.0.1). It seems to choke when validating because it isn't finding some tosh objects.
(Caused by: java.lang.IllegalArgumentException: Shapes graph does not include tosh:http://datashapes.org/dash#DefaultValueTypeRule)

The workaround for the student is just to have him explicitly import dash.ttl whenever he wants to run the validator, but remove it before doing his git push. I know that you all aren't supporting TBC Free any more, but I just wanted to confirm that this is expected behavior.

Steve




To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/54aaaf01-6fd3-1d54-d115-2fb9e58e988f%40topquadrant.com.

Holger Knublauch

unread,
Jun 21, 2021, 7:25:58 PM6/21/21
to topbrai...@googlegroups.com


On 22/06/2021 9:10 am, Steve Ray wrote:
Hi Holger,
Things are looking good on my end using TBC 7.0.1 and only importing the SHACL URI and not dash or tosh. Running SHACL reasoning and SHACL validation both seem to work reliably. I'm assuming that, as you mentioned, dash and/or tosh are brought in automatically if needed.

The only exception is a summer student working on the standards project who is using the TBC Free edition (which seems to have moved backwards to 6.0.1). It seems to choke when validating because it isn't finding some tosh objects.
(Caused by: java.lang.IllegalArgumentException: Shapes graph does not include tosh:http://datashapes.org/dash#DefaultValueTypeRule)

The workaround for the student is just to have him explicitly import dash.ttl whenever he wants to run the validator, but remove it before doing his git push. I know that you all aren't supporting TBC Free any more, but I just wanted to confirm that this is expected behavior.

Yes this sounds plausible. The SHACL engine in that version was different.

Holger


Bohms, H.M. (Michel)

unread,
Jun 22, 2021, 2:55:31 AM6/22/21
to topbrai...@googlegroups.com

Thx, good to know (we sometimes use free version in webinars)

 

 

Dr. ir. H.M. (Michel) Bohms
Scientist Specialist
Structural Reliability

T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl

Location

 

This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.

Reply all
Reply to author
Forward
0 new messages