On 24/01/2017 15:41, Lieke Verhelst wrote:
Hi TQ,
I am using the Problems View to verify how a converted dataset behaves
in an existing model, such as checking the correct class of the
instance via a defined range.
The model contains a property with a range like this:
rdfs:range [
rdf:type owl:Class ;
owl:unionOf (
ex:A
ex:B
ex:C
) ;
] ;
I import spinrdf and spinowl. After running I see many range violation
errors on a blank node:
Range violation: <@7988..etc> expected for ...
I assume this blank node is the translation of the owl:unionOf. The
flagged instance contains in the range correct instances of A or B or
C, however it is flagged since it is not belonging to the blank node
class.
Figuring out whether it is an instance of the bnode class would require
combining this with OWL inferencing, possibly using the SPIN OWL RL
implementation (if that covers owl:unionOf in this case).
Can you suggest an alternative rule for checking ranges like this?
Using OWL for constraint checking should be regarded as a hack as OWL
was really not designed for this purpose. If SHACL is an option for you,
it would be something like
ex:MyShape
a sh:Shape ; # in the future: sh:NodeShape
sh:targetObjectsOf ex:property ;
sh:or (
[ sh:class ex:A ]
[ sh:class ex:B ]
[ sh:class ex:C ]
) .
Holger
Thanks, Lieke
--
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include the TopBraid
Suite family of products and its base technologies such as
SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to [email protected]
---
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 Group "TopBraid
Suite Users", the topics of which include the TopBraid Suite family of products and
its base technologies such as SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to [email protected]
---
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.
