Re: More tests

> One type of test that we are missing is small tests that, while
> potentially easy may prove difficult for some naive implementations.
> Attached is an example of such a test. The "TEST" class, and hence the
> ontology, is inconsistent. I would like to add several of these kinds
> of test to the test suite.
> I would be interested to hear how the various implementations fare on
> this test (FaCT can pass it in about 10ms, not including parsing).

We fare well and it takes only a few 10ms
but I'm not happy with our current implementation
and I'm getting less and less convinced about the
utility of owl:complementOf as each day passes;
it is also remarkable that it is not used in galen.owl
and in wine.owl and only once in food.owl namely
  <owl:Class rdf:ID="NonConsumableThing">
    <owl:complementOf rdf:resource="#ConsumableThing" />
but then NonConsumableThing is not used any further...

Jos De Roo, AGFA

Received on Friday, 26 September 2003 18:37:34 UTC