OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

 


 

   Re: [xml-dev] equivalentTo vs. XSLT

[ Lists Home | Date Index | Thread Index ]

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




 

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS