ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] HOL decidability [Was: using SKOSforcontrolledvalues

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John Bottoms <john@xxxxxxxxxxxxxxxxxx>
Date: Fri, 15 Oct 2010 12:05:37 -0400
Message-id: <4CB87BD1.2060406@xxxxxxxxxxxxxxxxxx>
Ontology?    (01)

An ontology is a storage area. It should be able to store anything.    (02)

If the discussion of iterators are about accessing entities within the 
ontology, then the selection of the iterator should be up to the 
designer of the system. Is there truly a need to specify the details of 
an iterator for a "universal" ontology?    (03)

-John Bottoms
  FirstStar    (04)

On 10/15/2010 10:27 AM, Rich Cooper wrote:
> Yes, and that is the kind of "iterator" I want to not include.  My iterators
> use a constant amount of space and time, and visit all the elements of the
> collection.
>
> -Rich
>
> Sincerely,
> Rich Cooper
> EnglishLogicKernel.com
> Rich AT EnglishLogicKernel DOT com
> 9 4 9 \ 5 2 5 - 5 7 1 2
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of doug foxvog
> Sent: Friday, October 15, 2010 7:10 AM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] HOL decidability [Was: using
> SKOSforcontrolledvalues for controlledvocabulary]
>
> The carries from bit to bit take additional time, but a standard computer
> waits until a master clock tick to complete an operation, so the iterations
> within an instruction do not affect the timing.
>
> Since the calculation of the next prime can not be guaranteed within a
> fixed amount of time, such iteration masking is not possible in the
> case of iterating through primes while generating them.  One can iterate
> through millions of primes in a table, but you will eventually reach no
> a point where the next prime has not yet been determined.  The next step
> of the iteration would take an inordinate amount of time (else that
> prime would have already been calculated).
>
> -- doug
>
>
> On Fri, October 15, 2010 9:43, Randall R Schulz said:
>> On Friday October 15 2010, Rich Cooper wrote:
>>> Infinite precision arithmetic repeatedly adds another computer word
>>> to represent numbers that overflow with the current number of words.
>>> You were talking about carries propagating across a word, remember?
>>
>> No, I'm talking about carries from bit to bit.
>>
>> You can't do anything, iterative or not, in arithmetic without relying
>> on underlying interations. Period.
>>
>>
>> Randall Schulz
>>
>> _________________________________________________________________
>> 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
>> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>>
>>
>
>
> =============================================================
> doug foxvog    doug@xxxxxxxxxx   http://ProgressiveAustin.org
>
> "I speak as an American to the leaders of my own nation. The great
> initiative in this war is ours. The initiative to stop it must be ours."
>      - Dr. Martin Luther King Jr.
> =============================================================
>
>
> _________________________________________________________________
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
>
> _________________________________________________________________
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>    (05)

_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)

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