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

Re: TEST: please do Nothing

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
Message-ID: <OF2EBFD8C7.87E325D3-ONC1256C3F.004319B5-C1256C3F.004CFF9E@agfa.be>


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

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