W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: Tests in responses to LC comments on DL design

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Fri, 30 May 2003 01:57:03 +0200
To: "Jim Hendler <hendler" <hendler@cs.umd.edu>
Cc: webont <www-webont-wg@w3.org>, www-webont-wg-request@w3.org
Message-ID: <OFEF658C29.67DE3220-ONC1256D35.00829069-C1256D35.008390DB@agfa.be>


> TEST 1: Consistency check - the following is consistent
> Define a class called Continent as oneOf (Asia Europe NorthAmerica ...)
> Define a class called Country
> Define ContainsLocation as an objectProperty
>       with domain of Continent and range of Country
> Define ContainedIn as the inverseOf ContainsLocation
> <:Finland owl:class :Country>
> <:Finland :ContainedIn :Europe>
> Test 2: Not consistent
> same as above but assert
> <:Finland owl:class :Country>
> <:Finland :ContainedIn :NorthernHemisphere>
> ===========
> These would show that this kind of reasoning doesn't automatically
> break DL, and would also show that there are useful (or at least
> evocative) examples where you see that the use of both inverse and
> oneOf can be helpful.

I ran test 2 but had to add to the premises that
:NorthernHemisphere owl:differentFrom :Africa, :Antarctica, :Asia, :Europe,
:NorthAmerica, :SouthAmerica.
in order to have it an inconsistency test (*)

this non unique names assumption is really important
(have to look into the DL tests)

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS used a rule like {: rdfs:fyi :rule20o0. ?C owl:oneOf ?L. ?P rdfs:domain
?C. ?S ?P ?X. ?L neg:item ?X} => {?X log:inconsistentWith owl:oneOf}.
Received on Thursday, 29 May 2003 19:57:26 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC