Re: [topbraid-users] "allValuesfrom" Function Missing in SHACL file

2020-07-07 Thread Irene Polikoff
> On Jul 8, 2020, at 12:04 AM, Emily Zhang wrote: > > Hi Irene, > Great suggestions on creating a property for "Diagnosis". I've done that but > I am not exactly sure: 1) If I want to infer a patient has Melanoma, should > Melanoma be an instance under the property "Diagnosis”? What do you m

Re: [topbraid-users] "allValuesfrom" Function Missing in SHACL file

2020-07-07 Thread Emily Zhang
Hi Irene, Great suggestions on creating a property for "Diagnosis". I've done that but I am not exactly sure: 1) If I want to infer a patient has Melanoma, should Melanoma be an instance under the property "Diagnosis"? 2) You mentioned "I need to run it on a graph that has data and it must inclu

Re: [topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Holger Knublauch
Just to add a tiny bit of info in case it's not clear: If you have multiple property shapes on the same property (anywhere in the superclass hierarchy) the semantics of them will be merged together. It doesn't matter if the PropertyShape instance is different - the constraints are simply all t

Re: [topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Irene Polikoff
Hi Tim, It would be highly irregular to create, for the same class/node shape, multiple property shapes with the same path and give them different sh:name. It would be misleading as, in the data, these will be the same properties. Further, what you are defining below is contradictory >>> pgont

Re: [topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Tim Smith
Hi Holger, Thank you for the tip on QualifiedValueShapeConstraintComponent. I'm not deep enough into SHACL to reliably make the best choice. Time is the best teacher! Regarding sh:name... I was specifically trying to avoid "property proliferation" as I already have "class proliferation" when c

Re: [topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Holger Knublauch
Hi Tim, if you want to use the same property I think you're rather looking at https://www.w3.org/TR/shacl/#QualifiedValueShapeConstraintComponent to say that "one of them needs to be running indicator" and "one of them needs to be fault indicator". But while that would work on a constraint c

Re: [topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Tim Smith
Hi Holger, In this case, that is correct. The FVNR class represents a physical device, a type of electric motor starter. These devices have two outputs, a running indicator and a fault indicator. These outputs are typically wired into a Programmable Logic Controller (PLC). Thus, I've chosen to

Re: [topbraid-users] [SHACL API] difference between jena.apache.org/documentation/shacl and github.com/TopQuadrant/shacl?

2020-07-07 Thread Holger Knublauch
The one built into Jena has the advantage of being built into Jena out of the box and I believe available through Fuseki. I haven't tracked whether it is already used elsewhere and you may want to follow up on the jena mailing list. The TQ SHACL API has broader coverage of SHACL Advanced Featu

Re: [topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Holger Knublauch
Hi Tim, are you sure both property shapes are about the same property edg:output? This doesn't look right because they carry different sh:class constraints in both cases. Regards, Holger On 8/07/2020 04:52, Tim Smith wrote: Hi, I am auto-generating classes and property shapes from spreads

[topbraid-users] Q: EDG - How does display property shapes?

2020-07-07 Thread Tim Smith
Hi, I am auto-generating classes and property shapes from spreadsheets. I have an issue where EDG is not displaying the name of the property shape correctly in the declared properties section of a class form. In the example below, note that Sts_Overload is displayed as the property name in both

Re: [topbraid-users] equiv. in shacl

2020-07-07 Thread Irene Polikoff
I would use Triple Rule as in the example. I typically do not recommend sh:values for df:type because this makes it calculated only, no way to enter a value. > On Jul 7, 2020, at 11:08 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > wrote: > > Thx, for the way back I guess using sh:valu

RE: [topbraid-users] equiv. in shacl

2020-07-07 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
Thx, for the way back I guess using sh:values? (at someotherclass) Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl Location

Re: [topbraid-users] equiv. in shacl

2020-07-07 Thread Irene Polikoff
For inferencing, I would associate a rule with :SomeOtherClass to infer membership in :ExampleClass (made up name since you did not give one) if the hasValue condition is met. It is similar to the below example where type Square is inferred for a rectangle with the same width and height. ex:Re

[topbraid-users] equiv. in shacl

2020-07-07 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
Having an owl-rl restriction like: owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( :SomeOtherClass [ rdf:type owl:Restriction ; owl:hasValue :v1 ; owl:onProperty :p1 ; ] How would that best translate t

[topbraid-users] [SHACL API] difference between jena.apache.org/documentation/shacl and github.com/TopQuadrant/shacl?

2020-07-07 Thread Emmanuel Oga
Hello, I'm starting to look into validating some triples with SHACL. I'm using Jena as triplestore. There's some SHACL documention on https://jena.apache.org/documentation/shacl/, but there's also the Jena based https://github.com/TopQuadrant/shacl package. I was wondering what's the differen