W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

Re: any more tests?

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Wed, 8 Oct 2003 14:51:13 +0100
Message-ID: <16260.5713.91019.542113@galahad.cs.man.ac.uk>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: www-webont-wg@w3.org

Many of the DL tests are of exactly this kind, although usually a bit
more subtle. 

Ian

On October 8, Jeremy Carroll writes:
> 
> 
> I have just been chatting with Dave Reynolds, who had a simple bug reported 
> on his reasoner to do with an entailment like:
> 
> <eg:c> rdf:type owl:Class .
> <eg:c> owl:equivalentClass _:r .
> _:r rdf:type owl:Restriction .
> _:r owl:onProperty <eg:p> .
> _:r owl:someValuesFrom <eg:c> .
> <eg:p> rdf:type owl:ObjectProperty .
> <eg:i> rdf:type <eg:c> .
> 
> entails
> 
> <eg:i> <eg:p> _:b .
> _:b rdf:type <eg:c> .
> _:b <eg:p> _:c .
> _:c rdf:type <eg:c> .
> 
> 
> 
> A test for this potential infinite loop bug was apparantly missing from the 
> test suite.
> 
> If there are other such simple tests that catch common implementation bugs 
> it would be good to add some.
> 
> Jeremy
> 
> 
Received on Wednesday, 8 October 2003 09:50:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT