Peter? (for book-keeping) I had some outstanding actions on this one. At one point it seemed that I would need to make owl:Thing finite but non-empty to get different behaviour in DL and Full; it now appears that owl:Thing can be empty in DL, os I have reduced the test to owl:Thing owl:equivalentClass owl:Nothing http://www.w3.org/2002/03owlt/editors-draft/draft/proposedByFunction#Thing-001 http://www.w3.org/2002/03owlt/editors-draft/draft/proposedByFunction#Thing-002 this test is slightly different from the one that I was actioned to produce. JeremyReceived on Wednesday, 23 July 2003 13:20:33 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:05:02 GMT