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

any more tests?

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 08 Oct 2003 11:01:31 +0100
Message-ID: <3F83E07B.1080006@hplb.hpl.hp.com>
To: www-webont-wg@w3.org


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 06:06:14 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC