Hi Michel,
see the fixed file attached. Property shapes always require sh:path, so
you needed an additional blank node:
ruletry:PropertyShape_1
rdf:type sh:PropertyShape ;
sh:path [
sh:inversePath (
ruletry:hasRadiator
ruletry:size
) ;
] ;
sh:hasValue "large" .
To enter such things, you can use the SPARQL path surface syntax in TBC
at sh:path. I just noticed a bug in the beta here - there should be a
(...) around the path expression in this case. I'll see if this can be
fixed in time for the final release.
HTH
Holger
On 25/10/2017 7:45, Bohms, H.M. (Michel) wrote:
Hi Holger
Hereby slightly updated simple example.
(right name spaces/imports/domains/ranges now)
Still no inference as expected (a related MyRadiator with size being
“big”).
I must still be doing something wrong with the inversePath I guess….
(shacl warns me of a missing sh:path so I guess I need a path
INVOLVING an inversePath iso an inversePath only?)
Thx again, Michel
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist
T +31888663107
M +31630381220
E [email protected] <mailto:[email protected]>
Location
<https://www.google.com/maps/place/TNO+-+Locatie+Delft+-+Stieltjesweg/@52.000788,4.3745183,17z/data=%213m1%214b1%214m5%213m4%211s0x47c5b58c52869997:0x56681566be3b8c88%218m2%213d52.000788%214d4.376707>
<http://www.tno.nl/>
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 [email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout.
--
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
# baseURI: http://example.org/ruletry
# imports: http://datashapes.org/dash
# prefix: ruletry
@prefix dash: <http://datashapes.org/dash#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ruletry: <http://example.org/ruletry#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://example.org/ruletry>
rdf:type owl:Ontology ;
owl:imports <http://datashapes.org/dash> ;
owl:versionInfo "Created with TopBraid Composer" ;
.
ruletry:MyRadiator
rdf:type ruletry:Radiator ;
.
ruletry:MySpace
rdf:type ruletry:Space ;
ruletry:hasRadiator ruletry:MyRadiator ;
ruletry:size "large" ;
.
ruletry:PropertyShape_1
rdf:type sh:PropertyShape ;
sh:path [
sh:inversePath (
ruletry:hasRadiator
ruletry:size
) ;
] ;
sh:hasValue "large" ;
.
ruletry:Radiator
rdf:type rdfs:Class ;
rdf:type sh:NodeShape ;
rdfs:subClassOf rdfs:Resource ;
sh:rule ruletry:TripleRule_1 ;
.
ruletry:Space
rdf:type rdfs:Class ;
rdf:type sh:NodeShape ;
rdfs:subClassOf rdfs:Resource ;
.
ruletry:TripleRule_1
rdf:type sh:TripleRule ;
sh:condition ruletry:PropertyShape_1 ;
sh:object "big" ;
sh:predicate ruletry:kind ;
sh:subject sh:this ;
.
ruletry:hasRadiator
rdf:type rdf:Property ;
rdfs:domain ruletry:Space ;
rdfs:range ruletry:Radiator ;
.
ruletry:kind
rdf:type rdf:Property ;
rdfs:domain ruletry:Radiator ;
rdfs:range xsd:string ;
.
ruletry:size
rdf:type rdf:Property ;
rdfs:domain ruletry:Space ;
rdfs:range xsd:string ;
.
