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

ISSUE 5.18 Unique Names Assumption Support in OWL

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 23 Oct 2002 23:04:07 +0200
To: www-webont-wg@w3.org
Message-ID: <OFDEFD5E7C.B7F69EF6-ONC1256C5B.0071ACB1-C1256C5B.0073BC63@agfa.be>

Now that all issues are open I'm still feeling
a bit hesitant w.r.t. issue 5.18
but Frank gave me courage.
I gathered some experience with something like
owl:UniqueNames (just gave it some name).
Let's take an example (which is somewhat crossing
our charter borders, but it's all I have)
at http://www.agfa.com/w3c/euler/gedcom
It is stated there that the gedcom# namespace
is an owl:UniqueNames meaning that all names in
that space are actually owl:differentIndividualFrom
eachother, e.g. all the :... ones in
That is achieved with an inference rule such as
which implies the ?x owl:differentIndividualFrom ?y
(instead of giving an order of faculty(n) facts).
One can see such inferences in
which is some proof argument for

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 23 October 2002 17:04:42 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:36 UTC