OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   RE: [xml-dev] Semantic Web and First Order Logic

[ Lists Home | Date Index | Thread Index ]

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@ingr.com]
> Sent: 20 March 2003 18:18
> To: xml-dev@lists.xml.org
> Subject: [xml-dev] 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>


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS