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