ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] RDF and XML

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Fri, 21 Jun 2013 12:31:20 -0400
Message-id: <51C47FD8.3010902@xxxxxxxxxxx>
On 6/21/2013 8:27 AM, Kingsley Idehen wrote:
> if it's possible for you to reflect the fact that RDF's abstract syntax
> is distinct from concrete syntaxes used for encoding and serialization
> of data in various formats associated with RDF.    (01)

Of course.  And the abstract syntax for Common Logic is a *superset*
of the abstract syntax of RDF.  Please remember that Pat Hayes and
R. V. Guha collaborated to define the LBase semantics for RDF. It's
also available from the W3C --  http://www.w3.org/TR/lbase/ -- and
it happens to be a subset of the Common Logic model theory.    (02)

Hayes and Guha were following the original DAML proposal by Tim B-L
in 2000, which included SWeLL (Semantic Web Logic Language) as a
highly *expressive* superset of propositional logic, first-order
logic, and higher-order logic.  Those *requirements* were not met
by the DAML final report (2005), but they were adopted for the ISO
standard for Common Logic.    (03)

Unfortunately, Tim was trying to be democratic, and he allowed
the DL gang to use their misguided slogan of "decidability" to cast
fear and doubt among the W3C voters who knew nothing about logic.
So they voted against LBase and in favor of the OWL subset, which
did not and could not respond to the requirements.    (04)

For a DARPA project that was accepted and funded, the developers are
required to implement what they proposed.  By those criteria, the
results of the final DARPA report were a *failure*.  Please compare
the DAML proposal (2000) to the DAML final report (2005):    (05)

    http://www.w3.org/2000/01/sw/DevelopmentProposal    (06)

    http://www.w3.org/2005/12/31-daml-final.html    (07)

John    (08)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (09)

<Prev in Thread] Current Thread [Next in Thread>