ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Kolmogorov Inductive Inference

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John Bottoms <john@xxxxxxxxxxxxxxxxxx>
Date: Fri, 02 Apr 2010 13:53:17 -0400
Message-id: <4BB62F0D.9050805@xxxxxxxxxxxxxxxxxx>
Rich,    (01)

SGML consists of a grammar for the expression of grammars.
During the early days of the CALS initiative there was
discussion of tokenized version of a new DTD tag set. It was
called Binary SGML or BSGML. It didn't get much traction but
it allowed the reduction in size of the tags. One probably
doesn't want to mess with the data that the tags envelop. That
would fall under something like Markov models or some codebook
approach.    (02)

You can find scraps of it on forums such as this:
http://lists.xml.org/archives/xml-dev/200504/msg00303.html    (03)

-John Bottoms
  FirstStar Networks
  Concord, MA 01742
  T: 978-505-9878    (04)

Rich Cooper wrote:    (05)

> Hi Ontologizers,
> 
>  
> 
> I've been comparing and contrasting Popper's works against Kolmogorov 
> complexity ideas.  This is sure to be of interest to linguistically 
> inclined ontologizers:
> 
>  
> 
>  
> 
> This is a snippet from a tutorial on Kolmogorov Complexity which I found 
> on the web somewhere and am reading next to Popper.  
> 
>  
> 
> It seems to me that this compression-based model of data applies very 
> well to linguistics ontologies, since language is compressed in so very 
> many ways.  Curiously, I haven’t found any psychological studies 
> relating this to language behaviors, or to any kind of ontological 
> behaviors.  Does anyone know of such materials?  What are the jargon 
> keywords needed to research that material by googling?  Who are the most 
> fruitfully publishing authors?
> 
>  
> 
> Suggestions appreciated,
> 
> -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 Peter Yim
> Sent: Thursday, April 01, 2010 8:44 AM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Sharing and Integrating Ontologies
> 
>  
> 
> Thank you very much for the recap, John. ... This is an exciting
> 
> development for the entire community indeed!
> 
>  
> 
>  
> 
> John & All,
> 
>  
> 
>  
> 
> 1. I will be working on post-processing the audio recording of the
> 
> Mar-16 session, with JohnSowa's presentation and the ensuing
> 
> discussion (the raw stream for which I have just received from NIST
> 
> yesterday), as well as the audio archive for the presentations on the
> 
> Mar-25 session (which unfortunately, needed some re-takes, which I am
> 
> still working on) this weekend; and put them online as soon as they
> 
> are done ... (sorry about the delays.)
> 
>  
> 
> 2. As discussed, we will continue to discuss the broader issue of
> 
> "Sharing and Integrating Ontologies" on the [ontolog-forum] mailing
> 
> list (as this has always been among the key topics being addressed by
> 
> the Ontolog community). That said, we also agreed that I will also be
> 
> starting a new mailing list: [sio-dev] for those who want to be more
> 
> than casually involved, to host the discussion on the next level of
> 
> details in the development and implementation of this new SIO Project.
> 
> ... (again, this weekend.)
> 
>  
> 
> I will be subscribing everyone who responded to the Mar-16 & Mar-25
> 
> session to the [sio-dev] list automatically. If you want to be on the
> 
> list, but weren't there (or if you don't think I have your email
> 
> address), please write me offline, so I can subscribe you to this new
> 
> mailing list too.
> 
>  
> 
> 3. I will be starting a new homepage for this "Sharing and Integrating
> 
> Ontologies (SIO)" project on the OntologWiki. While your "summary of
> 
> the consensus" will definitely be included in there, John, (as
> 
> discussed during the Mar-25 session) please also help draft a brief (a
> 
> few lines) Mission Statement or Project Charter for us (to discuss and
> 
> adopt) as part of our new startup process. ... thanks in advance,
> 
> John.
> 
>  
> 
>  
> 
> Thanks & regards.  =ppy
> 
> --
> 
>  
> 
>  
> 
> On Thu, Apr 1, 2010 at 7:32 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
> 
>>  Through all the noise and clutter on Ontolog Forum, some of the
> 
>>  recent discussions have begun to converge on recommended methods
> 
>>  for sharing and integrating ontologies.  As a result of a meeting
> 
>>  at the end of the Ontology Summit on March 16th and a telecon on
> 
>>  March 25th, a consensus was reached on starting a project for
> 
>>  which there is already a significant amount of resources, tools,
> 
>>  and methodology.  The title of the project is
> 
>> 
> 
>>     Sharing and Integrating Ontologies (SIO)
> 
>> 
> 
>>  Following is my summary of the consensus:
> 
>> 
> 
>>   1. The semantics defined by ISO/IEC 24707 for Common Logic should
> 
>>      be the basis for the logics used to define ontologies.
> 
>> 
> 
>>   2. Widely used notations for ontology should be accommodated
> 
>>      as far as possible.  Many of them, such as RDFS and OWL, can
> 
>>      be supported as CL dialects.  Ontologies written in KIF should
> 
>>      be translated to CLIF.  Some extensions to the CL semantics,
> 
>>      such IKL, may be required to support some ontologies.
> 
>> 
> 
>>   3. The theoretical foundations of some approaches discussed on
> 
>>      Ontolog Forum were considered compatible and complementary.
> 
>>      These include the lattice of theories presented by John Sowa,
> 
>>      the COLORE system presented by Michael Grüninger, and the
> 
>>      Bremen tool set presented by John Bateman.  A combination
> 
>>      of these three approaches appears to be possible, and there
> 
>>      seemed to be no conflicts with the other approaches.
> 
>> 
> 
>>   4. The Toronto group led by Michael Grüninger and the Bremen
> 
>>      group led by John Bateman have made the most progress on
> 
>>      developing the resources and tools.  Their approaches are
> 
>>      complementary, and they can each take advantage of work
> 
>>      contributed by the other.
> 
>> 
> 
>>   5. Other ontologies, methodologies, tools, and resources that
> 
>>      were presented or discussed at NIST and the telecon seem
> 
>>      to be compatible with these approaches.
> 
>> 
> 
>>   6. Further work should be continued to harmonize and extend
> 
>>      the theoretical work, to collaborate in developing the
> 
>>      tools and resources, and to apply them in building and
> 
>>      organizing the Open Ontology Repository (OOR).
> 
>> 
> 
>>  Following is an outline of the telecon on March 25th with
> 
>>  pointers to the web site and the slides for each presentation.
> 
>> 
> 
>>  John Sowa
> 
>>  ______________________________________________________________
> 
>> 
> 
>>  At a session following the Ontology Summit at NIST on March 16th,
> 
>>  I presented the following slides to summarize the issues:
> 
>> 
> 
>>     http://www.jfsowa.com/talks/sionto.pdf
> 
>> 
> 
>>  That session stimulated a lot of discussion, and Peter Yim scheduled
> 
>>  a telecon on March 25th for further discussion of related ideas.
> 
>>  Following is the web page for the telecon with copies of the slides
> 
>>  and a recording of the talks that had been presented:
> 
>> 
> 
>>     http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_03_25
> 
>> 
> 
>>  Peter started the discussion with five introductory slides on the
> 
>>  theme "Getting the SIO Project Going":
> 
>> 
> 
>> 
> 
>http://ontolog.cim3.net/file/work/SIO/2010-03-25_Getting-SIO-Started/SIO-in-perspective--PeterYim_20100325.pdf
> 
>> 
> 
>>  Matthew West summarized the issues with the title "Why should we care?":
> 
>> 
> 
>> 
> 
>http://ontolog.cim3.net/file/work/SIO/2010-03-25_Getting-SIO-Started/Shared-and-Integrated-Ontologies--MatthewWest_20100325.pdf
> 
>> 
> 
>>  Pat Cassidy discussed the goals of a foundation ontology, the search
> 
>>  for semantic primitives, and their role in promoting interoperability:
> 
>> 
> 
>> 
> 
>http://ontolog.cim3.net/file/work/SIO/2010-03-25_Getting-SIO-Started/SIO-PIFO-COSMO-FO--PatCassidy_20100325.pdf
> 
>> 
> 
>>  Michael Grüninger presented four slides about COLORE for a COmmon LOgic
> 
>>  REpository:
> 
>> 
> 
>> 
> 
>http://ontolog.cim3.net/file/work/SIO/2010-03-25_Getting-SIO-Started/colore-sio--MichaelGruninger_20100325.pdf
> 
>> 
> 
>>  Michael and his group have done a lot of work in gathering and
> 
>>  relating ontologies defined in Common Logic.  For more detail see
> 
>> 
> 
>>     http://stl.mie.utoronto.ca/colore/
> 
>> 
> 
>>  John Bateman and his group at Bremen put together a variety of free
> 
>>  and open source tools and integrated them with their methodology.
> 
>>  One of the most important is HeTS (Heterogeneous Tool System),
> 
>>  which can translate from one logic to another while preserving
> 
>>  the semantics:
> 
>> 
> 
>> 
> 
>http://ontolog.cim3.net/file/work/SIO/2010-03-25_Getting-SIO-Started/Ontological-Modularity-for-Shared-and-Integrated-Ontologies--JohnBateman_20100325.ppt
> 
>> 
> 
>>  At the end, I ran through the slides I had presented at NIST and
> 
>>  commented on how they were related to the other presentations.
> 
>  
> 
> _________________________________________________________________
> 
> 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
>      (06)

_________________________________________________________________
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    (07)

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