- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 25 Sep 2002 16:01:01 +0200
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: 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: [...] > Tests that are received before the end of the week will get into the test > document to be reviewed. I've tried following tests, which I believe are positive entailment tests ------------------------------------------------------------------- if :path a owl:TransitiveProperty . :Ghent :path :Antwerp . :Antwerp :path :Amsterdam . then :Ghent :path :Amsterdam . -- http://www.w3.org/2002/03owlt/TransitiveProperty/premises001 -- http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001 ------------------------------------------------------------------- if :B owl:intersectionOf ( :Student :Employee ) . :C owl:intersectionOf ( :Employee :Student ) . :John a :B . then :John a :C . -- http://www.w3.org/2002/03owlt/intersectionOf/premises001 -- http://www.w3.org/2002/03owlt/intersectionOf/conclusions001 ------------------------------------------------------------------- if :A owl:unionOf ( :Human :Animal ) . :John a :Human . then :John a :A . -- http://www.w3.org/2002/03owlt/unionOf/premises001 -- http://www.w3.org/2002/03owlt/unionOf/conclusions001 ------------------------------------------------------------------- if :A owl:unionOf ( :Human :Animal ) . :B owl:unionOf ( :Animal :Human :Stone ) . :John a :A . then :John a :B . -- http://www.w3.org/2002/03owlt/unionOf/premises002 -- http://www.w3.org/2002/03owlt/unionOf/conclusions002 I find that way of working very promising and thanks for making that possible Jeremy -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 25 September 2002 10:01:48 UTC