W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

TEST: please do Nothing

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 23 Sep 2002 20:52:05 +0200
To: www-webont-wg@w3.org
Message-Id: <200209232052.05906.jjc@hpl.hp.com>


(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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT