RE: Semantic Web and 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. 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> >
PURCHASE STYLUS STUDIO ONLINE TODAY!
Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!
Download The World's Best XML IDE!
Accelerate XML development with our award-winning XML IDE - Download a free trial today!
Subscribe in XML format