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

Re: equivalentTo vs. XSLT

soundness vs. completeness
Miles Sabin wrote:
> I don't think anyone would say that using XSLT transforms to map between
> vocabularies is in any interesting sense a SW technology. And yet it
> seems to be enough to cover one of the primary use-cases for OWL. Which
> takes us back to Mikes earlier question,
>   I know the questions are being asked, but are the answers helping
>   people to do real work more productively than they could without SW
>   technologies?
> and suggests that in this case at least, the answer is "No".

At a first approximation OWL DL allows people _who are already using
description logics_ to exchange ontologies on the web using a common
language to encode DL ontologies. There are alot more people using DL than
you might expect e.g. the medical community. OWL is intended to allow the
folks mentioned in http://www.xml.com/pub/a/2002/11/06/ontologies.html to
use a common interchange language -- not that they all will adopt OWL, but a
significant portion of the ontology community has committed to it.

Now there are always many ways to skin a cat, and you can always argue that
for any particular problem there is an easier way to solve it. I won't argue
that argument, just point out that real folks _are already_ using DL to
solve real world problems and suggest that OWL does make it easier for them
to get their work done. At least some folks think that OWL may do for DL
what XML has done for SGML ... that is popularize and widen the use of an
already working (albeit underutilized) technology.


> I don't believe that any logic that's likely to be interesting in this
> kind of context is decidable. Let's face it, your semantic web reasoner
> is going to have to do the same job as the transform, so how could it
> be guaranteed to terminate in finite time if the transform can't be?

Ahh but that is _exactly_ the point. DLs are carefully crafted exactly so as
to be able to give you this guarantee. DL is _not_ Turning complete. The
problem of classification does not require a Turing complete processor.

Try searching either the DAML+OIL or WebOnt WG archives for "soundness" and
"completeness" to get a start on these discussions.


> Perhaps ... but the point I'm trying to make is that we don't
> necessarily need a "semantic mapping language" in the SW sense. My
> guess is that in many, perhaps most, cases all we need are dumb syntax
> to syntax transforms.

See above. For those of us who are concerned with the efficiency, soundness
and completeness of classification and "semantic mapping" what we need is
not a Turing complete language -- which will not give us what we want -- but
a carefully crafted language that gives us just enough to get our work done,
and not enough to get us into trouble i.e. a classification operation is
guarenteed to terminate, and there is existing software that is capable of
doing so within a bounded period of time.



Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
First Name
Last Name
Subscribe in XML format
RSS 2.0
Atom 0.3

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.

Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.