ontac-forum
[Top] [All Lists]

Re: [ontac-forum] Neutrality Principle

To: nicolas.rouquette@xxxxxxxxxxxx, ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
Cc:
From: arun majumdar <arun@xxxxxxxxxxxx>
Date: Mon, 28 Nov 2005 17:01:43 -0500
Message-id: <438B7E47.4000301@xxxxxxxxxxxx>
Yes - agreed - also, see the work by Steven Vickers on Topology via 
Logic (Cambridge University Press 1989, ISBN 0 521 36062 5 and 0 521 
57651 2); (algebraic Frames are nicely developed in that work and 
complement the work, as I understand it, to Goguen.
-Arun    (01)

Nicolas F Rouquette wrote:    (02)

> John Goguen has a really attractive proposal with the concept of 
> "frame" from his Unified Concept Theory:
>
> http://www.cs.ucsd.edu/users/goguen/pps/ifi04.pdf
>
> It would be worth discussing strategies to make this theoretical 
> approach practical for mere mortals who are not experts in logic, 
> category theory, etc...
> but are sufficiently reasonable to apply these things if properly guided.
>
> -- Nicolas.
>
> richard.murphy@xxxxxxx wrote:
>
>>
>> Barry, Pat & All:
>>
>> What Cory's explaining in terms of his modeling challenge in Semantic 
>> Core has been formalized in the theory of information flow. 
>> Information flow, or channel theory provides a formal definition of 
>> context - there called classification and also known as Chu Spaces - 
>> as " A classification A = < A, S_A , |=_A > consists of a set A of 
>> objects to be classified called tokens of A, a set S_A of  objects 
>> used to classify the tokens, called the types of A, and a binary 
>> relation |= between A and S_A that tells one which tokens are 
>> classified as being of which types. "  See Barwise and Seligman.
>>
>> Classifications are more than arbitrary, they're valuable 
>> applications of John Sowa's principle of modularity in the UF.
>>
>> Best wishes,
>>
>> Rick
>>
>> office: 202-501-9199
>> cell: 202-557-1604
>>
>>
>>
>> *"Smith, Barry" <phismith@xxxxxxxxxxx>*
>> Sent by: ontac-forum-bounces@xxxxxxxxxxxxxx
>>
>> 11/28/2005 10:05 AM
>> Please respond to
>> "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
>>
>>
>>     
>> To
>>     "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
>> cc
>>     
>> Subject
>>     RE: [ontac-forum] Neutrality Principle
>>
>>
>>
>>     
>>
>>
>>
>>
>>
>> At 02:22 PM 11/28/2005, you wrote:
>> >This is the way I have started to approach context; Contextual 
>> statements
>> >can be made, for example, OWL-Full by allowing statements about 
>> statements.
>> >Given a class of context and an instance "car" we would have statements
>> >about "steering wheel".  "steering wheel" and associated axioms are 
>> "in the
>> >context of" "car" (none exclusively).  The same relation would hold for
>> >statements in the context of "Cyc" (Or some Cyc microtheory).  A 
>> computation
>> >done outside of the context of Cyc would then not include those 
>> statements.
>> >In the problems I was facing in merging forms of expression for
>> >architectures as well as for expressing the often conflicting 
>> architectures
>> >them selves (and reasoning about them), context seems necessary.  It 
>> also
>> >seems necessary for extremely common concepts.
>>
>> For example?
>>
>> >  It would also seem a way to
>> >get around the inevitable "single truth" conflicts and arguments 
>> that arise
>> >when all things are absolutely true all the time.
>>
>> My suspicion is that it is a too easy way (analogous to the
>> teenager's cry "Well, it's true for ME").
>>
>> BS
>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://colab.cim3.net/forum/ontac-forum/
>> To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
>> Subscribe/Unsubscribe/Config: 
>> http://colab.cim3.net/mailman/listinfo/ontac-forum/
>> Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
>> Community Wiki: 
>> http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG 
>>
>>
>>
>> ------------------------------------------------------------------------
>>
>>
>> _________________________________________________________________
>> Message Archives: http://colab.cim3.net/forum/ontac-forum/
>> To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
>> Subscribe/Unsubscribe/Config: 
>> http://colab.cim3.net/mailman/listinfo/ontac-forum/
>> Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
>> Community Wiki: 
>> http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG 
>>
>>  
>>
>
>
> _________________________________________________________________
> Message Archives: http://colab.cim3.net/forum/ontac-forum/
> To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
> Subscribe/Unsubscribe/Config: 
> http://colab.cim3.net/mailman/listinfo/ontac-forum/
> Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
> Community Wiki: 
> http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG 
>
>
>    (03)


_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: 
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (04)
<Prev in Thread] Current Thread [Next in Thread>