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

Re: First Order Logic and Semantic Web RE: NPR, Godel, Semantic W eb

  • From: Joel Rees <rees@s...>
  • To: "Bullard, Claude L (Len)" <clbullar@i...>,Jeff Lowery <jlowery@s...>
  • Date: Wed, 16 May 2001 16:29:15 +0900

first order logic
Okay, a fuse to allow breaking semantic loops should be implementable. Is
there some way for the SW standards to enforce inclusion of fuses?

If not, is there at least a way to provide some sort of library function and
encourage implementors to use it? (I'm thinking in terms of certain RTOSs
that provide system calls for drivers to check for deadlock on allocation
requests. If the author of the driver fails to proper use the system
deadlock check calls, you can still have allocation requests causing
deadlock, but at least the RTOS vendor is providing the means and
encouraging driver writers to use them.)

Iwaku Len:

> If a semantic service is considered a service, say
> something at the end of a SOAP call, then you can
> set the loop up as you wish.   The ontology layer
> looks straightforward.

[clipped]

> The web is an amplifier.  Deal with it accordingly.

Brings up another question. Has the SW team produced any concrete means of
dealing with the authority issues?

> Y'all can kick Gates and MS at will but my experience
> is that they will do this as well or better than
> anyone else.  They have to sell a lot of copies of

We all tend to avoid kicking the coyote without shin guards on. Full body
armor is best, but it costs more than I got lying around.

[clipped]

============================XML as Best Solution===
Joel Rees                          $B%j!<%9!!%8%g%(%k(B
Media Fusion Co.,Ltd.  $B3t<02qmailto:rees@s...]

I guess I asked a different question from I thought. What I had in mind was
to suggest (question?) the possibility of designing SW so that any semantic
loop that formed would be subject to human judgment on its validity as long
as it exists. A required timeout mechanism would also be useful. But I don't
think it would be possible to enforce.

PURCHASE STYLUS STUDIO ONLINE TODAY!

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.
Email
First Name
Last Name
Company
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.