[seek-dev] [Fwd: Re: [xml-dev] Semantic Web and First Order Logic]

[Matt Jones]

Bertram,

This is an interesting thread that's going on now on XML-DEV wrt to 
first order logic and decidability.  Do you agree with some of the 
posters that decidability isn't really a practical problem, given that 
'decidable' itself only tells you something wil take finite time, which 
can be pretty long :)  Given that OWL is aiming at FOL, does this have 
any implications for the type of language we choose for use in our 
KR/SMS efforts?  Is there a well-known language that would allow us to 
express second order logic (and don't say prolog!)?

Thanks in advance for the tutorial...

Matt
-------------- next part --------------
An embedded message was scrubbed...
From: =?ISO-8859-1?Q?Bill_de_h=D3ra?= <bill at dehora.net>
Subject: Re: [xml-dev] Semantic Web and First Order Logic
Date: Thu, 20 Mar 2003 19:48:55 +0000
Size: 4808
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "Thomas B. Passin" <tpassin at comcast.net>
Subject: Re: [xml-dev] Semantic Web and First Order Logic
Date: Thu, 20 Mar 2003 20:20:20 -0500
Size: 3764
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0001.eml
-------------- next part --------------
An embedded message was scrubbed...
From: Miles Sabin <miles at milessabin.com>
Subject: Re: [xml-dev] Semantic Web and First Order Logic
Date: Fri, 21 Mar 2003 02:30:33 +0000
Size: 2681
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0002.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "Thomas B. Passin" <tpassin at comcast.net>
Subject: Re: [xml-dev] Semantic Web and First Order Logic
Date: Fri, 21 Mar 2003 00:08:27 -0500
Size: 3691
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0003.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "Danny Ayers" <danny666 at virgilio.it>
Subject: RE: [xml-dev] Semantic Web and First Order Logic
Date: Fri, 21 Mar 2003 12:01:01 +0100
Size: 3720
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0004.eml
-------------- next part --------------
An embedded message was scrubbed...
From: Miles Sabin <miles at milessabin.com>
Subject: Re: [xml-dev] Semantic Web and First Order Logic
Date: Fri, 21 Mar 2003 14:22:01 +0000
Size: 5076
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0005.eml
-------------- next part --------------
An embedded message was scrubbed...
From: "Bullard, Claude L (Len)" <clbullar at ingr.com>
Subject: RE: [xml-dev] Semantic Web and First Order Logic
Date: Fri, 21 Mar 2003 08:41:26 -0600
Size: 2910
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0006.eml
-------------- next part --------------
An embedded message was scrubbed...
From: Miles Sabin <miles at milessabin.com>
Subject: Re: [xml-dev] Semantic Web and First Order Logic
Date: Fri, 21 Mar 2003 15:07:42 +0000
Size: 3700
Url: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-dev/attachments/20030321/7fa1ec17/xml-devSemanticWebandFirstOrderLogic-0007.eml