Hi Irene,
When converting the owl restrictions to SHACL within tbc, the 2 restrictions from:
:BigSpace
rdf:type owl:Class ;
rdfs:subClassOf :Space ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom :BigPump ;
owl:onProperty :hasPump ;
] ;
owl:disjointWith :SmallSpace ;
owl:equivalentClass [
rdf:type owl:Restriction ;
owl:allValuesFrom [
rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions (
[
xsd:minExclusive "150.0"^^xsd:float ;
]
) ;
] ;
owl:onProperty :area ;
] ;
.
Seem not converted.
Was this to be expected?
What IS generated, I do not understand:
[
rdf:type rdfs:Datatype ;
owl:onDatatype :area ;
].
[
rdf:type rdfs:Datatype ;
owl:onDatatype :area ;
].
[
sh:class :BigPump ;
].
[
sh:class :SmallPump ;
].
Thx Michel
|
|||||||||||||||||
|
rdfs:subClassOf [rdf:type owl:Restriction ;owl:allValuesFrom :BigPump ;owl:onProperty :hasPump ;] ;
sh:property [:BigSpace
owl:equivalentClass [rdf:type owl:Restriction ;owl:allValuesFrom [rdf:type rdfs:Datatype ;owl:onDatatype xsd:float ;owl:withRestrictions ([xsd:minExclusive "150.0"^^xsd:float ;]) ;] ;owl:onProperty :area ;] ;
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.
For more options, visit https://groups.google.com/d/optout.
Ok, clear
I note that it doesn’t help here when the better subClassOf iso equivalentClass is used.
Wrt to the simple restriction: it does not seem to convert either in 5.3.2. So I’ll wait for the release of 5.4 for that.
Below you see the result after conversion (this time without deleting the original owl/rdfs restrictions):
:BigSpace
rdf:type owl:Class ;
rdf:type sh:NodeShape ;
rdfs:subClassOf :Space ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom :BigPump ;
owl:onProperty :hasPump ;
] ;
owl:disjointWith :SmallSpace ;
owl:equivalentClass [
rdf:type owl:Restriction ;
owl:allValuesFrom [
rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions (
[
xsd:minExclusive "150.0"^^xsd:float ;
]
) ;
] ;
owl:onProperty :area ;
] ;
.
As you can see only
rdf:type sh:NodeShape ;
has been added.
Greetings Michel
|
|
Hi Holger,
Hereby my small example (having the 2 restrictions where only would was expected to be converted) FYI.
Greetings, Michel
|
|
Thx
Is there some special benefit for the dash-individuals over anonymous (that you might do the manual way).
or is this just convertor-technical?
--
Thx
Is there some special benefit for the dash-individuals over anonymous (that you might do the manual way).
or is this just convertor-technical?