Re: WOWG: We need your results on the Tests

> I plan to integrate responses in the thread into
> our request for CR/PR...
>   http://www.w3.org/2001/sw/WebOnt/rqim.html
>
> I integrated some off-list feedback from Charles White (thanks!).
>
> Jos, thanks for the update. I wonder if you could help
> me see the big picture here...
>
>
> On Fri, 2003-07-11 at 20:17, Jos De_Roo wrote:
> > Jim - we took the latest Test Manifest
> > http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf
> > which has 234 tests (not counting the 26 OBSOLETED test cases).
> > Here's our summary (a "-" means that we don't run such tests):
>
> What I'd like to know is: does your Euler-based implementation
> support OWL Lite Equality and Inequality? i.e. does
> it pass all the tests in section 7.1 that relate to
> owl:AllDifferent, owl:sameClassAs, owl:differentFrom,
> owl:distinctMembers, owl:samePropertyAs, sameAs,
> and the test in section 7.2.4. EquivalentTo?
>
> Similarly for the other rows in the
> "Features and Implementations" table.
>
> I wonder if the manifest correlates tests to
> the feature groups in that table... or if
> it could be enhanced to without much work.

Triggered by your interesting questions (and
scraping together all the abstraction power
that is left in my head) I only came to

Yes, we have implemented all those features
No, it is not (and will never be) complete

Yes, we pass (prove) test X
No, we don't pass (can't prove) test Y

Triggered by the latter, I've done some rework
to report the test results for *all* tests in
7.1 and 7.2; here's what we got as a result:


<AllDifferent/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<FunctionalProperty/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<FunctionalProperty/Manifest002#test> <#proofFound>
<#PositiveEntailmentTest>.
<FunctionalProperty/Manifest003#test> <#proofFound>
<#PositiveEntailmentTest>.
<FunctionalProperty/Manifest004#test> <#proofFound>
<#PositiveEntailmentTest>.
<FunctionalProperty/Manifest005#test> <#noProofFound>
<#PositiveEntailmentTest>.
<DatatypeProperty/Manifest001#test> <#noProofFound> <#ConsistencyTest>.
<InverseFunctionalProperty/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<InverseFunctionalProperty/Manifest002#test> <#proofFound>
<#PositiveEntailmentTest>.
<InverseFunctionalProperty/Manifest003#test> <#proofFound>
<#PositiveEntailmentTest>.
<InverseFunctionalProperty/Manifest004#test> <#proofFound>
<#PositiveEntailmentTest>.
<Nothing/Manifest001#test> <#proofFound> <#InconsistencyTest>.
<Nothing/Manifest002#test> <#noProofFound> <#OWLforOWLTest>.
<SymmetricProperty/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<TransitiveProperty/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.

<allValuesFrom/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<allValuesFrom/Manifest002#test> <#noProofFound> <#NegativeEntailmentTest>.
<cardinality/Manifest001#test> <#noProofFound> <#PositiveEntailmentTest>.
<cardinality/Manifest002#test> <#noProofFound> <#PositiveEntailmentTest>.
<cardinality/Manifest003#test> <#noProofFound> <#PositiveEntailmentTest>.
<cardinality/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>.
<cardinality/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>.
<cardinality/Manifest007#test> <#noProofFound> <#NegativeEntailmentTest>.
<complementOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<differentFrom/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<differentFrom/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>.
<disjointWith/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<disjointWith/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>.
<distinctMembers/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<equivalentClass/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<equivalentClass/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>.
<equivalentClass/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>.
<equivalentClass/Manifest004#test> <#noProofFound>
<#PositiveEntailmentTest>.
<equivalentClass/Manifest005#test> <#noProofFound>
<#NegativeEntailmentTest>.
<equivalentClass/Manifest006#test> <#noProofFound>
<#PositiveEntailmentTest>.
<equivalentClass/Manifest007#test> <#noProofFound>
<#PositiveEntailmentTest>.
<equivalentClass/Manifest008#test> <#noProofFound>
<#NegativeEntailmentTest>.
<equivalentProperty/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<equivalentProperty/Manifest002#test> <#proofFound>
<#PositiveEntailmentTest>.
<equivalentProperty/Manifest003#test> <#proofFound>
<#PositiveEntailmentTest>.
<equivalentProperty/Manifest004#test> <#noProofFound>
<#PositiveEntailmentTest>.
<equivalentProperty/Manifest005#test> <#proofFound>
<#PositiveEntailmentTest>.
<equivalentProperty/Manifest006#test> <#proofFound>
<#PositiveEntailmentTest>.
<imports/Manifest001#test> <#proofFound> <#ImportEntailmentTest>.
<imports/Manifest002#test> <#proofFound> <#NegativeEntailmentTest>.
<imports/Manifest003#test> <#proofFound> <#ImportEntailmentTest>.
<imports/Manifest004#test> <#noProofFound> <#ImportsLevelTest>.
<imports/Manifest005#test> <#noProofFound> <#ImportsLevelTest>.
<imports/Manifest006#test> <#noProofFound> <#ImportsLevelTest>.
<imports/Manifest007#test> <#noProofFound> <#ImportsLevelTest>.
<imports/Manifest008#test> <#noProofFound> <#ImportsLevelTest>.
<imports/Manifest010#test> <#proofFound> <#OWLforOWLTest>.
<inverseOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<intersectionOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<maxCardinality/Manifest001#test> <#proofFound> <#InconsistencyTest>.
<maxCardinality/Manifest002#test> <#proofFound> <#InconsistencyTest>.
<oneOf/Manifest001#test> <#noProofFound> <#ConsistencyTest>.
<oneOf/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>.
<oneOf/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>.
<oneOf/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>.
<sameAs/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<someValuesFrom/Manifest001#test> <#noProofFound>
<#PositiveEntailmentTest>.
<someValuesFrom/Manifest002#test> <#noProofFound>
<#NegativeEntailmentTest>.
<unionOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<unionOf/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>.

<I4.6/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>.
<I4.6/Manifest004#test> <#noProofFound> <#NegativeEntailmentTest>.
<I4.6/Manifest005#test> <#noProofFound> <#NegativeEntailmentTest>.
<I5.1/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>.
<I5.1/Manifest010#test> <#noProofFound> <#ConsistencyTest>.
<I5.2/Manifest001#test> <#noProofFound> <#ConsistencyTest>.
<I5.2/Manifest002#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.2/Manifest003#test> <#noProofFound> <#ConsistencyTest>.
<I5.2/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.2/Manifest005#test> <#noProofFound> <#ConsistencyTest>.
<I5.2/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.2/Manifest010#test> <#noProofFound> <#ConsistencyTest>.
<I5.2/Manifest011#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest005#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest006#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest007#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest008#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest009#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest010#test> <#noProofFound> <#ConsistencyTest>.
<I5.3/Manifest011#test> <#noProofFound> <#ConsistencyTest>.
<I5.5/Manifest001#test> <#proofFound> <#OWLforOWLTest>.
<I5.5/Manifest002#test> <#proofFound> <#OWLforOWLTest>.
<I5.5/Manifest003#test> <#proofFound> <#InconsistencyTest>.
<I5.5/Manifest004#test> <#proofFound> <#InconsistencyTest>.
<I5.8/Manifest001#test> <#noProofFound> <#InconsistencyTest>.
<I5.8/Manifest002#test> <#noProofFound> <#ConsistencyTest>.
<I5.8/Manifest003#test> <#noProofFound> <#InconsistencyTest>.
<I5.8/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.8/Manifest005#test> <#noProofFound> <#NegativeEntailmentTest>.
<I5.8/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.8/Manifest007#test> <#noProofFound> <#NegativeEntailmentTest>.
<I5.8/Manifest008#test> <#proofFound> <#PositiveEntailmentTest>.
<I5.8/Manifest009#test> <#proofFound> <#PositiveEntailmentTest>.
<I5.8/Manifest010#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.8/Manifest011#test> <#proofFound> <#OWLforOWLTest>.
<I5.8/Manifest012#test> <#noProofFound> <#ConsistencyTest>.
<I5.24/Manifest001#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.24/Manifest002#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.24/Manifest003#test> <#noProofFound> <#PositiveEntailmentTest>.
<I5.24/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>.


> (Sandro, have you made any progress on
> reporting test results?)

I really hope to get some inspiration from
his results (as I haven't made much progress
the last 6 months...)


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Tuesday, 15 July 2003 20:43:39 UTC