Hi Rik, Your email doesn’t give me enough info to help. You ask generally about inferencing, so I assume you have some SHACL inference rules that you want to apply before constraint validation? These inferences are not computed automatically but only if the owl:Ontology of your graph(s) has a statement sh:entailment sh:Rules as in
https://w3c.github.io/shacl/shacl-af/#Rules If this is not the question you asked, please provide the files that you are trying to run and details about what you would expect. Holger > On 15 Jun 2022, at 10:45 pm, Rik - CROW <[email protected]> wrote: > > I solved one problem. Stating the owl:ontology and owl:imports dash: solved > the fact the validating file 2 against file 1 did conform (it now fails). > > But there are more errors when taking into account inferencing. When I > validate file 3 it does come up with the errors (after inferencing). > > How does this work? > > > > Op vrijdag 13 mei 2022 om 13:28:35 UTC+2 schreef Rik - CROW: > Hi, > > I work with the Jena-based Java application to validate SHACL TTL files. I > always put the shapesfile and the datafile apart and this always performs > well. > > But in my latest try the following is happening: I have the following files: > Ontology file, including shapes > Dataset file (instances) > When I validate file 1, it conforms. When I validate file 2 against file 1 is > also conforms. But I know for a fact that it shouldn't (there are violations > in file 2). > > Then when I paste the content of file 2 into file 1 (say file 3) and validate > this, it gives me the correct violations... > > Does anybody have any clue what is happing? I have the latest and greatest > release and with a minimal try-out I could not replicate this. > > Thanks in advance, kind regards, > > Rik > > -- > 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]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/43e911b0-5264-4d58-a161-9fa09ae6e998n%40googlegroups.com > > <https://groups.google.com/d/msgid/topbraid-users/43e911b0-5264-4d58-a161-9fa09ae6e998n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/29874212-E339-4481-B0D6-07FDE19C0FF2%40topquadrant.com.
