- 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
[...]
> 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