- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Mon, 23 Sep 2002 20:52:05 +0200
- To: www-webont-wg@w3.org
(owl:Nothing) Or Thing, or cardinality or one of the other OWL features. One of my hopes with doing the Test form: http://sealpc09.cnuce.cnr.it:8080/wowg/jsp/edit.jsp is that the members of the TEST focus area (myself, Dan Connolly, Jonathan Dale, Mike Dean, Libby Miller, Jos De Roo, Michael Sintek) and any other WG members, might find it easier to produce tests - particularly aiming to get coverage of OWL features. Most of them look straightforward e.g: Nothing sameIndividualAs differentIndividualFrom samePropertyAs sameClassAs cardinality, minCardinality, maxCardinality hasValue someValuesFrom allValuesFrom unionOf intersectionOf Producing one or tests for each of these would be good. It would be nice to have tests that illustrate the basic meaning and some easy misconceptions. e.g. Nothing <a> rdf:type owl:Nothing . is inconsistent. e.g. the cardinality lot, crib something from FunctionalProperty tests. e.g. hasValue a simple entailment showing that belonging to the restriction entails having the value a non-entailment shoing that belonging to the restriction and having some other value does not mean that the two values are equal. e.g. unionOf Well we have to have the student/employee example! I guess we are coming round to trhat being an entailment rather than a non-entailment. Tests that are received before the end of the week will get into the test document to be reviewed. Jeremy
Received on Monday, 23 September 2002 14:53:55 UTC