RE: Jena reasoner (was Re: [OWLWG-COMMENT] Re: Cardinality Restrictions and Punning)

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