Thanks for this. Paul
On Wednesday, April 4, 2018 at 12:53:16 PM UTC+2, Holger Knublauch wrote: > > Thanks for the file. I noticed that there is an interaction between the > inferences that are made in one iteration (to infer X rdfs:subClassOf > owl:Thing) and the option to remove redundant inferences - which they are. > > To work around this, just click "Complete Mode" in the Configure > Inferencing dialog. > > I have not yet had the time to figure out exactly why this happens in your > examples but not everywhere else, but I thought I'd give you some heads up. > > Holger > > > On 4/04/2018 17:26, Paul Hermans wrote: > > Hi Holger, > > Indeed, good news. The kennedys.ttl file works here also. > > I made an example but since containing client's data being sent directly. > > > Paul > > > > On Wednesday, April 4, 2018 at 12:38:39 AM UTC+2, Holger Knublauch wrote: >> >> Hi Paul, >> >> I tried the same but cannot yet reproduce the problem. You stated it >> happens with all files that you have tried. Did you for example try >> kennedys.ttl (which works for me)? Can you send me an example that does not >> work? >> >> Holger >> >> >> On 4/04/2018 0:55, Paul Hermans wrote: >> >> TopBraid Composer Standard Edition. >> Version 5.5.1 on macOS 10.13.4 (17E199) >> >> I run Infererence with: >> - OWL 2 RL profile (see screenshot) >> >> Using as configuration: >> - asserted, inferred and system triples >> - iterate >> (see screenshot) >> >> Inferencing keeps running. >> Screenrecording at http://mbx.cm/t/Cr7lq >> >> Is happening with all the files I tried. >> >> >> Paul >> >> >> >> -- >> 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. >> >> >> -- > 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 <javascript:>. > 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 topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
