Paul Prescod wrote,
> No, it isn't expressible in OWL 1.0. But it also doesn't require
> Turing-completeness so OWL 2.0 will probably handle it. It is a
> stated objective!
Which implies giving up decidability.
> O10. Arithmetic primitives
>
> The language should support the use of arithmetic functions. These
> can be used in translating between different units of measure.
>
> Motivation: Ontology interoperability"
Very sensible ... more expressive power would be helpful, even tho' that
means giving up decidability.
> > Expressive power, decidability: pick one.
>
> No, I don't have to pick one.
See above.
Cheers,
Miles
