ontology-summit
[Top] [All Lists]

Re: [ontology-summit] The tools are not the problem (yet)

To: rwheeler@xxxxxxxxxxxxxxxxxxxxx, Ontology Summit 2014 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: Jack Ring <jring7@xxxxxxxxx>
Date: Wed, 22 Jan 2014 09:03:46 -0700
Message-id: <B1EBEAB4-F84F-4C46-8DC7-E0DACF5B5F06@xxxxxxxxx>
It is likely that those tools will prepare rulesets for processing on machines 
that were designed to do arithmetic, not machines that can resolve NP hard 
situations.    (01)

On Jan 22, 2014, at 7:43 AM, Ron Wheeler wrote:    (02)

> The real test of tool usefulness will be the ability of the tool to work 
> with BIG DATA bound for Watson.
> My feeling is that BM and its Partner base will actively seek out the 
> big data projects and propose solutions based on Watson.
> 
> Whether these are all successful will be a moot point for the next 
> period since it will take a while for enough big data projects that have 
> any ontological input, to be completed.
> In the meantime, marketing will beat theory.
> 
> Ron
> 
> 
> On 22/01/2014 2:16 AM, John F Sowa wrote:
>> On 1/22/2014 12:01 AM, John McClure wrote:
>>> How can FOL'ers not be implicitly derisive of the work RDF'ers are
>>> diligently about, when the first reaction is to THROW IT AWAY?
>> That's not the point I was trying to make.  I'm sorry that I used
>> the phrase 'throw it away' because it was not clear what I was
>> rejecting.
>> 
>> First point:  FOL is a small subset of English and other NLs.
>> Any language that has the words 'and', 'or', 'not', 'some',
>> and 'every' can express full FOL.  We all speak FOL every day.
>> 
>> Second point:  I wasn't rejecting what can be expressed in RDF.
>> You can use RDF to describe anything that you see, hear, or feel.
>> Every observation in science can be described in RDF.
>> 
>> But RDF can't express negation.  You can't say 'not'.  And if you
>> take RDF and add negation, you get -- guess what -- full FOL.
>> 
>> Some things you can't say in RDF:
>> 
>>   1. Options:  you can't say 'or' in RDF, because (p or q) is
>>      defined as not(not p and not q) -- and RDF can't say 'not'.
>> 
>>   2. Rules:  you can't express an if-then rule in RDF, because
>>      (if p then q) is defined as not(p and not q).
>> 
>>   3. Generalizations:  you can express 'all' or 'every' in RDF
>>      because 'every cat is an animal' is defined as
>>      'it's false that some cat is not an animal'.
>> 
>> My major complaint about RDF is that it makes simple things difficult.
>> 
>> John
>> 
>> _________________________________________________________________
>> Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
>> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
>> Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
>> Community Files: http://ontolog.cim3.net/file/work/OntologySummit2014/
>> Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014
>> Community Portal: http://ontolog.cim3.net/wiki/
>> 
> 
> 
> -- 
> Ron Wheeler
> President
> Artifact Software Inc
> email: rwheeler@xxxxxxxxxxxxxxxxxxxxx
> skype: ronaldmwheeler
> phone: 866-970-2435, ext 102
> 
> 
> _________________________________________________________________
> Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
> Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
> Community Files: http://ontolog.cim3.net/file/work/OntologySummit2014/
> Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014  
> Community Portal: http://ontolog.cim3.net/wiki/     (03)


_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2014/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014  
Community Portal: http://ontolog.cim3.net/wiki/     (04)
<Prev in Thread] Current Thread [Next in Thread>