Happy new year to everyone! Confirming that OWLIM is not a DL reasoner. This is by design - the inference supported by OWLIM is rule-based entailment in the style of Datalog, OWL Horst, and OWL2 RL. This is a different type of semantics (compared to Description Logics) - one cannot say that the one is more powerful than the other. However, one can count that rule-based inference is generally faster, more scalable, more manageable, and easier to understand and tune. It is my personal believe that true DL reasoning has fairly limited set of applications. For those one should really use Pellet or similar reasoner.
Regards, Naso ---------------------------------------------------------- Atanas Kiryakov CEO of Ontotext AD, http://www.ontotext.com Sirma Group Corp, http://www.sirma.bg Phone: (+359 2) 8091 555; Fax: 8090 404 ---------------------------------------------------------- ----- Original Message ----- From: <schn...@fzi.de> To: "TopBraid Composer Users" <topbraid-composer-users@googlegroups.com> Sent: Thursday, January 01, 2009 3:58 PM Subject: [tbc-users] Re: dl query and topbraid Hi! On 29 Dez. 2008, 17:56, Holger Knublauch <hol...@topquadrant.com> wrote: > To add to this: once you have configured to use an OWL DL inference > engine (such as Pellet or OWLIM), Just as a side note: From looking at the OWLIM page [1], I cannot confirm that OWLIM is a OWL DL reasoner. OWLIM's underlying reasoning engine, called "TRREE", is described as follows [2]: TRREE supports a rule laguage that is more expressive than the one used for the definition of the RDFS semantics. This language is almost identical with the R-Entailment defined by Horst; the major difference is that at present TRREE provides no support of the R-Entailment's axiomatic triples and inconsistency rules. So OWLIM (or TRREE) rather seems to implement some semantic extension of RDFS and semantic fragment of OWL Full, which produces entailments not covered by OWL DL. Cheers, Michael [1] OWLIM Homepage: <http://www.ontotext.com/owlim/> [2] TRREE Reasoner: <http://www.ontotext.com/trree/index.html> --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to topbraid-composer-users@googlegroups.com To unsubscribe from this group, send email to topbraid-composer-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---