At a very general level: Pellet: An OWL-DL Reasoner - Uses Tableau Algorithms to Deduce a KB (Very Restrictive) SwiftOWLIM: Not an OWL-DL Reasoner - Cannot deduce things such as disjointness.
I cannot think of any paper off the top of my head, however; there are many out there. Regards, Ninus. On Mon, Mar 23, 2009 at 8:13 AM, Aidan <[email protected]> wrote: > > Hello, > > I am new to knowledge representation and the use of TBC, so please > excuse me if I am not that familiar with this. > > Starting to get familiar with the use of TBC and the inference > machines TBC is supporting, I still don´t seem to understand when to > use Pellet, SwiftOWLIM or Jena built-in Reasoner(or even > combinations). So I have been looking for some kind of overview to > this but I didn´t find what I was looking for. Is there some reference > you could give me that could help? Some sort of overview what the > different inference engines are capable of (and what not would be even > better) would be very welcome. > > Regards, > > Christopher > > > > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
