Test cases: not a great deal to say.

The document looks fine; the only question I have is where does the
"must" come from in section 3?

[[
The datatypes xsd:integer, xsd:string from [XML Schema Datatypes] are
not indicated, even when used or required, since they must be supported.
]]

Ah, fine - I see that this is required by your resolution to your issue 5.8.

It's a good document, concise and to the point, and the test cases are
very pretty indeed.



The following tests were reviewed as requested.

http://www.w3.org/TR/owl-test/byIssue#I5.24-001
In light of this test, I went back and re-read [rdf semantics], section
3.3.1 (extensional domains and ranges). Are there good reasons to make
the RDF semantics weak in this regard, if we choose (keep) iff semantics
for subClassOf and subPropertyOf? Anyway, the test itself seems ok.


http://www.w3.org/TR/owl-test/byIssue#I5.5-003
http://www.w3.org/TR/owl-test/byIssue#I5.5-004
Well-formed lists. (well, in as much as "nil" doesn't have a first or
rest). This looks ok too; it's what rdf semantics would term a "semantic
extension", and thus it's extra-rdf, right?


http://www.w3.org/TR/owl-test/proposedByIssue#I5.8-011
This is OK because of the wording in OWL Test cases section 3, above.

and maybe also the following in which the
use of OWL vocabulary is not significant:
http://www.w3.org/TR/owl-test/proposed-misc-200-xmlliteral#miscellaneous-201
Fine.

http://www.w3.org/TR/owl-test/proposedByIssue#I5.8-006
Looks fine to me.

http://www.w3.org/TR/owl-test/proposedByIssue#I5.8-007
Also good.

http://www.w3.org/TR/owl-test/proposedByIssue#I5.8-008
Also good.

http://www.w3.org/TR/owl-test/proposedByIssue#I5.8-009
These seem fine. They also (modulo use of owl:DatatypeProperty) appear
to be consequences using a suitably DT-aware rdf model theory (using iff
semantics at least), right?

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
HP-unix: Open Sauce product, available in 57 distributions.

Received on Friday, 27 June 2003 05:56:22 UTC