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

Re: owl:All(something) ??

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 12 May 2003 07:14:21 +0300
To: www-webont-wg@w3.org
Message-Id: <200305120714.21396.jjc@hpl.hp.com>

I had a thought on the owl:AllSame construct ...

using owl:sameIndividualAs you can achieve the desired result in O(N) text.
owl:AllSame requires O(N) text.


i1 = i2.
i2 = i3.


i1 != i2
i1 != i3.
i2 != i3.

Thus the advantage of the extra construct is merely a constant factor.

A further thought is that to do AllSame properly would require 
AllSameIndividual AllSameProperty AllSameClass

IIRC on owl:AllDisjoint we noted that the N in this construct is typically 
small, so an O(N^2) solution is acceptable.

Received on Monday, 12 May 2003 01:14:13 UTC

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