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