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

RE: Semantic Web and First Order Logic

• To: "Bullard, Claude L \(Len\)" <clbullar@i...>,<xml-dev@l...>
• Subject: RE: Semantic Web and First Order Logic
• From: "Danny Ayers" <danny666@v...>
• Date: Fri, 21 Mar 2003 12:01:01 +0100
• Importance: Normal
• In-reply-to: <15725CF6AFE2F34DB8A5B4770B7334EEEAD0AB@h...>

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.

Cheers,
Danny.



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

• References:
  • Semantic Web and First Order Logic
    • From: "Bullard, Claude L (Len)" <clbullar@i...>

• Prev by Date: Re: Semantic Web and First Order Logic
• Next by Date: Re: Access XML
• Previous by thread: Re: Semantic Web and First Order Logic
• Next by thread: Re: Semantic Web and First Order Logic
• Index(es):
  • Date
  • Thread