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

Re: equivalentTo vs. XSLT

• To: xml-dev@l...
• Subject: Re: equivalentTo vs. XSLT
• From: Miles Sabin <miles@m...>
• Date: Tue, 12 Nov 2002 15:49:05 +0000
• In-reply-to: <3DD11991.7090101@p...>
• References: <BD2DBD26EE0BAA48B1A425C7BE7923002CFF9F@c...> <200211120932.08823.miles@m...> <3DD11991.7090101@p...>

Paul Prescod wrote,
> Miles Sabin wrote:
> > Which implies giving up decidability.
>
> I do not believe that is true.

Believe what you like ... arithmetic is undecidable, so extending a DL 
with arithmetic gets you an undecidable system.

Did you even read that paper? Or did you just grep it for something 
which superficially sounded like it supported your argument? The 
authors aren't talking about expressing general arithmetic contraints 
in DLs, they're talking about using an arithmetic equation solver to 
_implement_ standard DL inference (as opposed to using a tableau 
system). That's what it says in the very first sentence you quoted!

You'd have been better off referring to, eg.,

  http://citeseer.nj.nec.com/baader99expressive.html

esp. section 4. But that still won't show you how a constraint like 
v=h*w*d can be expressed in a DL, because it can't be done.

Cheers,


Miles

• Follow-Ups:
  • Decidability
    • From: Paul Prescod <paul@p...>
  • Re: equivalentTo vs. XSLT
    • From: John Cowan <jcowan@r...>

• 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...>

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