ISSUE 5.18 Unique Names Assumption Support in OWL

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)
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

Received on Wednesday, 23 October 2002 17:04:42 UTC