On 3/11/15 1:40 PM, John F Sowa wrote:
> KI
>> >Basically, we should be able to collectively curate a glossary of terms,
>> >without being impeded by the futile pursuit of global consensus.
> There was a global consensus about the Aristotelian subset that lasted
> until the end of the 19th century. But symbolic logic with its
> mathematical notation struck fear in the hearts of people who flunked
> high-school algebra.
>
> But it's possible to introduce full first-order logic in just six
> slides. See slides 7 to 12 ofhttp://www.jfsowa.com/talks/clintro.pdf
>
> I admit that it takes a full one-hour lecture to get people to feel
> comfortable with the notation. But once they do, they have the basis
> for defining the terms used in logic, ontology, and related subjects
> without presupposing a single word in any natural language.
>
> John (01)
John, (02)
How about adding SPARQL to the diagram, since you already have SQL there? (03)
--
Regards, (04)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog 1: http://kidehen.blogspot.com
Personal Weblog 2: http://www.openlinksw.com/blog/~kidehen
Twitter Profile: https://twitter.com/kidehen
Google+ Profile: https://plus.google.com/+KingsleyIdehen/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen
Personal WebID: http://kingsley.idehen.net/dataspace/person/kidehen#this (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)
|