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

Semantic Web and First Order Logic

• To: xml-dev@l...
• Subject: Semantic Web and First Order Logic
• From: "Bullard, Claude L (Len)" <clbullar@i...>
• Date: Thu, 20 Mar 2003 11:17:40 -0600

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 

• Follow-Ups:
  • Re: Semantic Web and First Order Logic
    • From: "Jonathan Borden" <jonathan@o...>
  • RE: Semantic Web and First Order Logic
    • From: "Danny Ayers" <danny666@v...>
  • Re: Semantic Web and First Order Logic
    • From: "Thomas B. Passin" <tpassin@c...>
  • Re: Semantic Web and First Order Logic
    • From: Bill de hÓra <bill@d...>

• Prev by Date: RE: An approach to let XML 2.n resources hold multiple entities
• Next by Date: Re: XML too hard for programmers?
• Previous by thread: RE: Looking for FREE XML/XSLT editor
• Next by thread: Re: Semantic Web and First Order Logic
• Index(es):
  • Date
  • Thread