Classifying with Inequalities

We do a lot of reasoning with inequalities, e.g., restricting
events within certain dates, or logging observations
within rectangular regions. It would be extremely
useful to be able to define classes that include such
restrictions and to arrange them in a classification hierarchy.
My impression is that there
is no inequality operator for any of the OWL variants.  My
question is, are inequalities compatible with OWL, or is this
yet another area (e.g., like metadata and property composition) 
where the existing OWL infrastructure falls far short of user needs?

In either case, it would be very nice if there were inequality properties
for greater than, less than, greater-than-or-equal, less-than-or-equal
blessed by a W3C standard. Is there any possibility of this
happening in the near future?

Note:  Loom added the ability to classify scalar
intervals, and restrictions that reference them, very early on.  
Thus, the notion of the kind of classification I need has been
around for a very long time.

Cheers, Bob

Received on Monday, 10 May 2004 12:16:42 UTC