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

Re: an owl use/test case: sameGuy thru UnambigousProperty

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 7 Mar 2002 16:21:14 +0100
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OF1734F184.D8EB1366-ONC1256B75.00512CED@agfa.be>

[...]

> And in any case, make sure the guidelines
> give users enough clues to use it.
> Maybe you could take this test
> case and make it into a richer,
> more interesting example. Or
> maybe you have a different real-world
> example that demonstrates the same
> requirement. Tell me about it and
> I'll try to capture it in another test case.

well, this is already interesting enough!
besides the fact that we found some bugs
(in our implemented stuff)
we also think that it is interesting to consider
different formulations of the entailed graph
e.g. one could write

  _:x :hairColor :red .
  _:x :birthPlace :KC .

or one could write

  _:x :hairColor :red .
  _:y :birthPlace :KC .
  _:x owl:sameIndividualAs _:y .

although they mean the same, I see
benefits in being *explicit* about equality
using e.g.
  owl:samePropertyAs
  owl:sameClassAs
  owl:sameIndividualAs
  :sameBagAs
  :sameSeqAs

--
Jos
Received on Thursday, 7 March 2002 10:36:43 GMT

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