[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: equivalentTo vs. XSLT

• To: Miles Sabin <miles@m...>, xml-dev@l...
• Subject: Re: equivalentTo vs. XSLT
• From: Paul Prescod <paul@p...>
• Date: Tue, 12 Nov 2002 07:09:05 -0800
• References: <BD2DBD26EE0BAA48B1A425C7BE7923002CFF9F@c...> <200211112151.02436.miles@m...> <3DD040EC.2050404@p...> <200211120932.08823.miles@m...>
• User-agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-US; rv:1.1) Gecko/20020826

Miles Sabin wrote:
> 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.

I do not believe that is true.

"In this paper we propose using arithmetic equation solving instead of 
tableau systems as the basic inference algorithm. It is, however, not 
the purpose of this paper to investigate arithmetic equation solving 
itself; we assume suit-able algorithms are available (they can actually 
be downloaded from the internet). Therefore we do not specify a 
particular arithmetic language. The language depends on the available 
arithmetic equation solver. Most of them can solve systems of linear 
equations and in-equations. In this case only addition, subtraction and 
multiplication with numbers is allowed. More advanced systems also allow 
for certain non-linear terms. The general non-linear Diophantine 
equation problem, however, is undecidable (Hilbert's 10th problem
[13]). Therefore the arithmetic language should not be too expressive."

http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach/homepage/publications/DL/mdla/mdla.pdf

  Paul Prescod

• Follow-Ups:
  • Re: equivalentTo vs. XSLT
    • From: Miles Sabin <miles@m...>

• References:
  • RE: XML/RDF
    • From: Micah Dubinko <MDubinko@c...>
  • Re: equivalentTo vs. XSLT
    • From: Miles Sabin <miles@m...>
  • Re: equivalentTo vs. XSLT
    • From: Paul Prescod <paul@p...>
  • Re: equivalentTo vs. XSLT
    • From: Miles Sabin <miles@m...>

• Prev by Date: RE: Does WTSIWYG make simplicity moot? (was Re: dtds, schemas, xhtml, and multimedia technologies)
• Next by Date: Re: Proposed RPV syntax for RDF
• Previous by thread: Re: equivalentTo vs. XSLT
• Next by thread: Re: equivalentTo vs. XSLT
• Index(es):
  • Date
  • Thread