owl:All(something) ??

We have received a couple of comments that we should have some other 
constructs similar to allDifferent
  one comment suggest AllSame
another asks for AllDisjoint

we need an answer as to why we included the first and not the latter 
two, or we need to decide our current mechanism could be extended to 
allow it to be used on other properties  (which would probably not 
require another LC if we make it clear this is just a piece of 
syntactic sugar since we have the appropriate semantics already).

Any thoughts?




-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Sunday, 11 May 2003 22:36:47 UTC