Dear Irene
Still bit struggling with TBCtoEDG.
Following your advice I made my ontology a shacl one in TBC.
I added:
alim:NodeShape_1
rdf:type sh:NodeShape ;
sh:property [
sh:path rdfs:seeAlso ;
sh:datatype xsd:string ;
] ;
sh:targetClass [
rdf:type owl:Class ;
owl:unionOf (
bs:InformationObject
bs:Activity
bs:PhysicalObject
) ;
] ;
.
This way I hoped to get a rdfs:seeAlso property in my bs:InformationObject/alim:Paper form. (I actually have data pointing to an doc on the web).
However when I use EDG (including this update shacl file) and go to a specific instance of InformationObject I get:
And also an error is thrown in TBC:
Thx for advice,
Michel
Ps
I attached the actual test ontology
|
|||||||||||||||||
|
On 5 Feb 2020, at 12:16, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:
Dear IreneStill bit struggling with TBCtoEDG.Following your advice I made my ontology a shacl one in TBC.I added:alim:NodeShape_1rdf:type sh:NodeShape ;sh:property [sh:path rdfs:seeAlso ;sh:datatype xsd:string ;] ;sh:targetClass [rdf:type owl:Class ;owl:unionOf (bs:InformationObjectbs:Activitybs:PhysicalObject) ;] ;.This way I hoped to get a rdfs:seeAlso property in my bs:InformationObject/alim:Paper form. (I actually have data pointing to an doc on the web).However when I use EDG (including this update shacl file) and go to a specific instance of InformationObject I get:
<image001.jpg>
And also an error is thrown in TBC:
<image007.jpg>
Thx for advice,MichelPsI attached the actual test ontology
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist
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/ec66e6a6d0f840b093c55230981f3446%40tno.nl.
<alim.shapes.ttl>
That was it, put only on one:
(another reason now for having a root class... 😊)
Small next one: I could not click the actual pdf link there now....(the pdf)
In code its:
alim:OntologicalFoundationsForStructuralConceptualModels
rdf:type alim:Paper ;
rdfs:seeAlso "https://ris.utwente.nl/ws/portalfiles/portal/6042428/thesis_Guizzardi.pdf" ;
.
I tried several variants: <....> and < ...>^^xsd:anyURI, all the same non-clickable result
|
|
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/C95E0D48-B1D9-4E80-8120-36CE4B3230CF%40topquadrant.com.
On 5 Feb 2020, at 12:49, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:
That was it, put only on one:
<image001.jpg>
(another reason now for having a root class... 😊)Small next one: I could not click the actual pdf link there now....(the pdf)In code its:alim:OntologicalFoundationsForStructuralConceptualModelsrdf:type alim:Paper ;.I tried several variants: <....> and < ...>^^xsd:anyURI, all the same non-clickable result
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/a15fecbef5e34374b6bf5baa43d95f62%40tno.nl.
So what should I make the datatype to make the link in edg clickable?
xsd:anyURI?
|
|
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/DD0A1FC1-085D-4EAB-AFB4-6E449E669541%40topquadrant.com.
On 5 Feb 2020, at 13:56, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:So what should I make the datatype to make the link in edg clickable?xsd:anyURI?
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/ae611b1f4f3a4b9c99cfc4c34bf54c55%40tno.nl.
On Feb 5, 2020, at 7:16 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:
Dear Irene
Still bit struggling with TBCtoEDG.
Following your advice I made my ontology a shacl one in TBC.
I added:
alim:NodeShape_1
rdf:type sh:NodeShape ;
sh:property [
sh:path rdfs:seeAlso ;
sh:datatype xsd:string ;
] ;
sh:targetClass [
rdf:type owl:Class ;
owl:unionOf (
bs:InformationObject
bs:Activity
bs:PhysicalObject
) ;
] ;
.
This way I hoped to get a rdfs:seeAlso property in my bs:InformationObject/alim:Paper form. (I actually have data pointing to an doc on the web).
However when I use EDG (including this update shacl file) and go to a specific instance of InformationObject I get:
<image001.jpg>
And also an error is thrown in TBC:
<image007.jpg>
Thx for advice,
Michel
Ps
I attached the actual test ontology
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist
T +31888663107
M +31630381220
E michel...@tno.nl
Location
<image006.gif>
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.
All clear, thx a lot!
xsd:AnyURI makes stuff indeed clickable in edg.
One small thing: xsd:anyURI is not one of the choices in the wizard, would be handy
Thx again Michel
|
|
|
Van: topbrai...@googlegroups.com <topbrai...@googlegroups.com>
Namens Irene Polikoff
Verzonden: Wednesday, February 5, 2020 3:19 PM
Aan: topbrai...@googlegroups.com
Onderwerp: Re: [topbraid-users] EDG
Michel,
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/5AA08E63-3872-4D1E-A25A-8CDE041B3844%40topquadrant.com.
One small thing: xsd:anyURI is not one of the choices in the wizard, would be handy
This can be selected from the ... button:
Holger
Ahh, yes, in EDG...
I was talking TBC...
Think I have to shift even more to EDG....
How do you see the usage balance of the two?
When would I best use EDG when TBC?
In my mind, the most power is in TBC but is that still the case?
(especially moving more to OWA/SHACL could edg editing replace tbc?)
thx
|
|||||||||||||||||
|
Van: topbrai...@googlegroups.com <topbrai...@googlegroups.com>
Namens Holger Knublauch
Verzonden: Wednesday, February 5, 2020 10:43 PM
Aan: topbrai...@googlegroups.com
Onderwerp: Re: [topbraid-users] EDG
On 6/02/2020 07:20, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote:
--
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/7a0ea7d5-8dce-7f0f-a64f-d1e8c3e450d4%40topquadrant.com.
EDG is an enterprise platform, TBC is an IDE.
I use TBC daily to create ontologies, convert TTL, run or test complex SPARQLs, and (I hope more and more) SPIN and SHACL Rule code.
EDG is where graphs are shared for use by end users in custom applications. Data stewards use EDG for simple crud-tasks and monitoring data quality. -j
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/48c4bbe4e64f4f92b10f9550acedea2b%40tno.nl.
Thx Jan
Seeing more and more edg editing capabilities I thought...if this goes on why still need for IDE.....
(feels like the future edg will be have a web-based TBC included, so to say...)
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/AM4PR0301MB21313794609F9D28177D687EE91D0%40AM4PR0301MB2131.eurprd03.prod.outlook.com.
On Feb 6, 2020, at 7:35 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:
Thx JanSeeing more and more edg editing capabilities I thought...if this goes on why still need for IDE.....(feels like the future edg will be have a web-based TBC included, so to say...)
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist
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 Holger Knublauch
Verzonden: Wednesday, February 5, 2020 10:43 PM
Aan: topbrai...@googlegroups.com
Onderwerp: Re: [topbraid-users] EDG
On 6/02/2020 07:20, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote:One small thing: xsd:anyURI is not one of the choices in the wizard, would be handyThis can be selected from the ... button:
<image002.png>
Holger
--
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/7a0ea7d5-8dce-7f0f-a64f-d1e8c3e450d4%40topquadrant.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.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/48c4bbe4e64f4f92b10f9550acedea2b%40tno.nl.--
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/AM4PR0301MB21313794609F9D28177D687EE91D0%40AM4PR0301MB2131.eurprd03.prod.outlook.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.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/83052fea16e34a049f240ef09942e0ec%40tno.nl.
Hi Irene and all,
I was looking for existing discussions about the problem we`re facing, and found your post here. In SHACL I want to express that the object nodes of an object property can be of either class A, B, C... That`s what I`m trying to define in the PropertyShape of the object property via the sh:class predicate. Here I need to define this alternative from a list of classes. Using owl:unionOf does not seem to work here, as the SHACL engine reports constraint violations for any subject instance, which is not an instance of all the classes. Defining several values for sh:class, as suggested by you, Irene, does not work either, as the implemented semantics is not the union but the intersection, i.e. only instances can be in the object position that are members of ALL the classes. So that`s not the wanted behavior, but does quite the opposite of a union construct.
My question to you: How can we define the desired expression? Or is the SHACL engine faulty? I have this problem not only for the sh:class predicate, but also for sh:targetClass of a NodeShape, where I want to have an easy way to declare the union of several classes as target class. I do not want to go for a SPARQL target definition here (there has to be a simpler solution!?), and besides, for sh:class it would not be an option at all.
Many thanks
On 30 Nov 2020, at 14:39, Henrik Dibowski <h.dib...@gmail.com> wrote:Hi Irene and all,
I was looking for existing discussions about the problem we`re facing, and found your post here. In SHACL I want to express that the object nodes of an object property can be of either class A, B, C... That`s what I`m trying to define in the PropertyShape of the object property via the sh:class predicate. Here I need to define this alternative from a list of classes. Using owl:unionOf does not seem to work here
Second, SHACL is its own language. You cannot use OWL axioms in SHACL definitions just as you can’t use SHACL statements in OWL axioms. SHACL has its own logical expressions using sh:or, sh:and, sh:not, etc.
, as the SHACL engine reports constraint violations for any subject instance, which is not an instance of all the classes. Defining several values for sh:class, as suggested by you, Irene, does not work either, as the implemented semantics is not the union but the intersection, i.e. only instances can be in the object position that are members of ALL the classes. So that`s not the wanted behavior, but does quite the opposite of a union construct.
My question to you: How can we define the desired expression? Or is the SHACL engine faulty? I have this problem not only for the sh:class predicate, but also for sh:targetClass of a NodeShape, where I want to have an easy way to declare the union of several classes as target class. I do not want to go for a SPARQL target definition here (there has to be a simpler solution!?), and besides, for sh:class it would not be an option at all.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/e69817dc-062b-487a-a50c-2434a1b0f7dan%40googlegroups.com.
ex:OrExample1 a owl:Class, sh:NodeShape ; sh:property [ sh:path ex:property ; sh:or ( [ sh:class ex:A ; ] [ sh:class ex:B ; ] ) ] .
ex:OrExample2 a owl:Class, sh:NodeShape ; sh:or ( [ sh:path ex:property1 ; sh:class ex:A ; ] [ sh:path ex:property2 ; sh:class ex:B ; ] ) .
ex:InExample a owl:Class, sh:NodeShape ; sh:property [ sh:path (ex:property rdf:type [sh:zeroOrMorePath rdfs:subClassOf]) ; sh:in ( ex:A ex:B ) ; ] .
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/560E7839-E8B2-4EE6-A3EE-CE10C280F5B3%40topquadrant.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/B35CA3A1-27F3-4CD3-B8D4-6ADD7AA6E154%40topquadrant.com.