Thank you. It's not a matter of getting TQ to bundle commercial reasoners 
with TBC: my question regards the availability of reasoners for TBC users, 
paid or unpaid. Assuming that I purchase one such reasoner, how do I get it 
to integrate with TBC? Are there any SROIQ-complete reasoners that 
integrate nicely with TBC? I am thus hoping to get some answer from someone 
at TQ who might know that, before i start contacting reasoner manufacturers 
one by one to see if they also make TBC plugins for their reasoner. It 
looks to me that getting an answer from TQ might be less time-consuming 
than contacting reasoner developers in part.

C

On Wednesday, March 23, 2016 at 2:38:32 PM UTC-4, David Price wrote:
>
> TopQuadrant cannot make commercial reasoners available to users with TBC, 
> we don’t own that software. You must purchase them from the owning vendor.
>
> FWIW the OWL RL profile of inferences are implemented in SPIN and are 
> available in TBC. Look under the TopBraid folder
>
> Cheers,
> David
>
> UK +44 7788 561308
> US +1 336 283 0606
>
>
>
>
> On 23 Mar 2016, at 14:45, Aqualung <[email protected] <javascript:>> 
> wrote:
>
> Dunno about you guys, but SwiftOWLIM doesn't do it for me. I need a more 
> complete reasoner, such as Pellet, or Racer, or Fact++. Is any of these 
> available for TopBraid Composer? If not, what other options do we, Composer 
> users, have? (Currently running TBSE, but I have just upgraded to ME 
> (though I have yet to install it).)
>
> -- 
> You received this message because you are subscribed to the Google Group 
> "TopBraid Suite Users", the topics of which include Enterprise Vocabulary 
> Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid 
> Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
> To post to this group, send email to [email protected] 
> <javascript:>
> --- 
> 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] <javascript:>.
> 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 Enterprise Vocabulary 
Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, 
TopBraid Insight, 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.

Reply via email to