Re: release candidate of the "rdfbased" testcollection

Excellent! I look forward to hearing about the results with Ivan's  
implementation and to seeing these posted on the results page [1].

Thanks,
Ian

[1] http://www.w3.org/2007/OWL/wiki/Test_Suite_Status


On 25 Jun 2009, at 00:47, Michael Schneider wrote:

> Hi!
>
> The testcollection for the RDF-Based Semantics, which I have  
> announced several times in the past, is now essentially finished  
> after two months of work. I have (again) attached only the source  
> version (easier to inspect), and will have to translate all the  
> testcases into the final Wiki-Page format and upload them to the  
> Wiki in the following days.
>
> One interesting aspect of this final version of the testcollection  
> is that it additionally covers the OWL 2 RL ruleset. So there is  
> now a dedicated subset of testcases (ca. 40%) being explicitly  
> marked as "owl2rl", which means that these testcases have been  
> selected based on the different rules in Section 4.3 of the  
> Profiles spec.
>
> However, since conformant OWL RL entailment checkers may provide  
> entailments beyond the ruleset up to what the whole OWL 2 RDF-Based  
> Semantics provides, one can even regard the /complete/  
> testcollection as an OWL RL test suite. Implementers of RL systems,  
> who want to provide a more expressive but still conformant RL  
> reasoner can therefore apply the whole testcollection to get a  
> coarse notion of where their implementations stands "on the path"  
> between the RL ruleset and the whole of OWL 2 Full.
>
> The testcases have been carefully audited, but I am going to apply  
> them to Ivan's RL implementation, which might then still reveal  
> some errors (on whichever side :)).
>
> Cheers,
> Michael
>
> --
> Dipl.-Inform. Michael Schneider
> Research Scientist, Dept. Information Process Engineering (IPE)
> Tel  : +49-721-9654-726
> Fax  : +49-721-9654-727
> Email: michael.schneider@fzi.de
> WWW  : http://www.fzi.de/michael.schneider
> ====================================================================== 
> =
> 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, RP Karlsruhe
> Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael  
> Flor,
> Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
> ====================================================================== 
> =
>
>
> <tests-rdfbased-090624.zip>

Received on Friday, 26 June 2009 10:17:10 UTC