Re: ISSUE-53 (Linear inequality between two data types): Need for arbitrary inequality conditions on two (or more) data types

Regarding this issue, the syntax document says:

> OWL 1.1 also allows for the definition of descriptions by stating  
> restrictions on data properties, as shown in Figure 10. The notable  
> distinction with respect to object property restrictions is that  
> dataAllValuesFrom and dataSomeValuesFrom restrictions take a list  
> of data property expressions, and not just a single property  
> expression. This is in order to support descriptions such as  
> "objects whose width is greater than their height", where the  
> values of width and height are specified using two data properties.  
> In such definitions, the arity of the given data range must be  
> equal to the number of the given data properties.

Where is it explained how "greater than" is expressed? What bit of  
the semantics document addresses this feature?

I'm trying to figure out whether Vipul's request is already covered  
by what's specified.

Thanks,
Alan



On Nov 3, 2007, at 11:17 PM, OWL Working Group Issue Tracker wrote:

>
>
> ISSUE-53 (Linear inequality between two data types): Need for  
> arbitrary inequality conditions on two (or more) data types
>
> http://www.w3.org/2007/OWL/tracker/issues/
>
> Raised by: Vipul Kashyap
> On product:
>
> I need the ability to say something like:
> Patient that (testdate > enrollmentdate + 60)
>
> Was trying to represent the following inclusion criteria in a  
> clinical trial:
>
> The patient must have negative gadolinium based MRI of the  
> contralateral breast, no more than 6 months prior to study entry.
>
>
>
>

Received on Sunday, 4 November 2007 05:35:43 UTC