- From: Michael Schneider <schneid@fzi.de>
- Date: Mon, 7 Jan 2008 17:24:18 +0100
- To: "Jeremy Carroll" <jjc@hpl.hp.com>
- Cc: "Evren Sirin" <evren@clarkparsia.com>, "Owl Dev" <public-owl-dev@w3.org>, "Dave Reynolds" <der@hplb.hpl.hp.com>
Hi, Jeremy! Indeed, the way you phrase it does more clearly (i.e. less prone to misunderstandings) express how I meant it. :) Cheers, Michael Jeremy Carroll wrote: >Apologies for a minor aside >(I feel an obligation to correct a possible misunderstanding of Jena >documentation) > > >Michael Schneider wrote: >> >> I recently found that the Jena-OWL reasoner is actually a restricted >> OWL-Full reasoner, since it is an extension of the Jena-RDFS >reasoner: >> >> <http://jena.sourceforge.net/inference/index.html#OWLcoverage> >> >> "Since RDFS is not a subset of the OWL/Lite or OWL/DL languages >> the Jena implementation is an incomplete implementation of >OWL/full." >> >> Drawback: It doesn't fully support every OWL feature. But >this has not to do >> with being an OWL-Full reasoner, but instead, AFAIK, has to >do with the >> specific rule based approach the family of Jena reasoners apply. > > >I think I would phrase the last sentence as >[[ >While it is inevitable that an OWL-Full reasoner cannot generate every >OWL Full entailment and non-entailment, the family of Jena >reasoners are >also limited by the choice to use a rule based approach. >]] > >i.e. there are theoretical limitations, and the Jena reasoner >is further >limited by practical considerations due to some fundamental design >choices (which I think were quite sensible and defensible, but don't >particularly wish to do so now) > >I suppose it depends what you mean by a 'feature' of OWL. > >Jeremy > > > > > -- Dipl.-Inform. Michael Schneider FZI Forschungszentrum Informatik Karlsruhe Abtl. Information Process Engineering (IPE) Tel : +49-721-9654-726 Fax : +49-721-9654-727 Email: Michael.Schneider@fzi.de Web : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555 FZI Forschungszentrum Informatik an der Universität Karlsruhe Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe Tel.: +49-721-9654-0, Fax: +49-721-9654-959 Stiftung des bürgerlichen Rechts Az: 14-0563.1 Regierungspräsidium Karlsruhe Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
Received on Monday, 7 January 2008 16:24:41 UTC