inferencing never stops

[Paul Hermans]

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

[Holger Knublauch]

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

--
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.

[Paul Hermans]

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

[Holger Knublauch]

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

[PaulZH]

Thanks for this.

Paul