Re: More tests

On Thu, 2003-09-25 at 12:44, Ian Horrocks wrote:
[...]
> This kind of pattern comes up a lot in more complex ontologies such as
> the Galen ontology. Failure to cope with this kind of pattern is one
> of the reasons that many reasoners have been unable to cope with this
> kind of ontology.

Ah; good to know. I hope some words like that go into
the description in the test repository.

>  Implementors should, however, find working with this
> test is much more convenient than working with a whole ontology.

Quite.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Thursday, 25 September 2003 14:33:15 UTC