Yes, I agree with everything you state Atanas. I am aware that OWLIM covers a different subset of OWL than Pellet. I was calling it a DL engine since it covers a (significant) subset of OWL DL including owl:someValuesFrom. But right, formally OWL DL is more and OWLIM and other rule-based engines do not support the whole OWL DL spec. Having said this I can confirm from our project experience that in practice the use cases for OWL DL are very limited. Most people actually seem to either work with a subset of OWL Lite (or even RDFS) or OWL Full.
Holger On Jan 1, 2009, at 12:58 PM, Atanas Kiryakov wrote: > > 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 -~----------~----~----~----~------~----~------~--~---