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

RE: Semantic Web and First Order Logic

owl first order logic
It's an interesting situation really - the work being done on making OWL
formally solid is very impressive, but then how interested in proof,
decidability etc are the business community going to be? Messrs. Pascal,
Date and friends are keen on pointing out how the tools commonly called
relational DBs are a long way removed from Codd's relational model. Semantic
web systems may start firmly based on the RDF/OWL model, but then if a
programmatic hack outside of the model gets the answer 10x faster then you
can be sure it'll go in.
Personally I suspect it'll be a very good thing to have over-engineered
foundations, so the duct tape gets passed up to a higher layer.


> -----Original Message-----
> From: Bullard, Claude L (Len) [mailto:clbullar@i...]
> Sent: 20 March 2003 18:18
> To: xml-dev@l...
> Subject:  Semantic Web and First Order Logic
> Is it true or false that the semantic web
> limits the use of First Order Logic?
> I realize that FOL has the undecidability
> problem, but is sufficient for everyday
> reasoning and is the most widely used
> logic in business.  One would think that
> the semantic web as a business application
> framework would use it profusely given that
> otherwise, the existing dominant base of
> relational business systems users would
> likely not want to be "on the semantic web".
> I realize that is controversial and is
> deliberately so.  I am wondering if the
> semantic web is somewhat over-engineered.
> len
> -----------------------------------------------------------------
> The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
> initiative of OASIS <http://www.oasis-open.org>
> The list archives are at http://lists.xml.org/archives/xml-dev/
> To subscribe or unsubscribe from this list use the subscription
> manager: <http://lists.xml.org/ob/adm.pl>


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.