[Scl] Re: Report on Common Logic

[Tanel Tammet]

Hi,

Chris Menzel wrote:

>On Mon, Oct 27, 2003 at 07:06:36PM -0500, John Sowa wrote:
>  
>
>>In any case, we desperately need some material that is humnaly
>>readable, unlike Chris's SCL report, which sounds as if it was
>>written for the Journal of Symbolic Logic.  
>>    
>>
>
>I'd say it *looks* more like it than sounds like it.  Yes, of course you
>are right, but as noted many times -- and which, in the spirit of
>genuine collaboration,  you should emphasize -- that document was never
>meant for public consumption, but was intended only to get the framework
>right for guiding friendlier exposition.
>
>Pat, Tanel, and I were all able to spend time together at ISWC 2003 in
>Florida last week, and all seem able to commit some fairly serious time
>to SCL over the next 4-6 weeks.  I'll be putting version 1.02 on the web
>in the next couple of weeks that will clarify a few things in light of 
>some comments from Ian Horrocks.  And we definitely need to get a
>friendlier document or two online.
>
A short take on this theme: I talked briefly with Ian during the 
conference, and got the
impression that he is also interested in seeing RDF model theory based 
on "humanly understandable",
basically first order logic. Complained about the high complexity of the 
"official" MT of RDF and
about ideas to employ very complex tricks while achieving a more 
understandable MT.
Ian and coauthors also had a paper at ISWC presenting an alternative 
kind of semantics
for RDF. Additionally, he seemed to doubt the necessity of RDF 
altogether, suggesting
a purely-description-logic approach (for example, OWL only) would be 
fine (which
I doubt as a true FOL camper :-)

 From this I guess that unless we create an easy-to-understand, 
basically first-order
SCL and then an RDF translation into that _soon_, widely noticed 
alternative ways
to achieve similar goals will appear. Not that these would be bad, but I 
believe that
the basic SCL approach is the sensible one to take.

Regards,
           Tanel Tammet

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://philebus.tamu.edu/pipermail/scl/attachments/20031028/a5c3e2fe/attachment.htm