On 6/21/13 12:31 PM, John F Sowa wrote:
> 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.
> 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.
>
> 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.
>
> 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.
>
> 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):
>
> http://www.w3.org/2000/01/sw/DevelopmentProposal
>
> http://www.w3.org/2005/12/31-daml-final.html
>
> John (01)
I assume what you outlined above for the benefit of other thread
readers, that might be unaware of this history? You know that this
isn't news to me :-)
>
>
> _________________________________________________________________
> 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
>
>
> (02)
-- (03)
Regards, (04)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca handle: @kidehen
Google+ Profile: https://plus.google.com/112399767740508618350/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen (05)
smime.p7s
Description: S/MIME Cryptographic Signature
_________________________________________________________________
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 (01)
|