[seek-kr-sms] kr issues at kepler meeting
Joseph Goguen
goguen at cs.ucsd.edu
Thu Jan 27 12:34:42 PST 2005
Dear Serguei,
Sorry for that! I should have typed
http://www.cs.ucsd.edu/~goguen/pps/ifi04.pdf
It is mainly about information flow, lattice of theories, formal concept
analysis, their generalization to arbitrary logics, and their application to
ontologies and databases.
It is very nice to learn theres someone into category theory out there! I
dont know of a categorical semantics for description logic, but i have been
playing around with categories and logics, which you can read about at
http://www.cs.ucsd.edu/~goguen/pps/nel05.pdf
However, i expect that the semantics URIs would take us beyond just
relations. What are you working on?
== joseph
>From: "Serguei Krivov" <Serguei.Krivov at uvm.edu>
>Date: Thu, 27 Jan 2005 12:35:46 -0500
>X-Priority: 3 (Normal)
>X-MSMail-Priority: Normal
>X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
>Importance: Normal
>X-Spam-Flag: Spam NO
>X-Scanned-By: milter-spamc/0.15.245 (fast.ucsd.edu [132.239.15.4]); pass=YES; Thu, 27 Jan 2005 09:35:48 -0800
>X-Spam-Status: NO, hits=-4.90 required=5.00
>X-Spam-Level: Level
>
>Dear Joseph,
>I was not able to access the second link
>http://www.cs.ucsd.edu/~goguen/pps/ifi.pdf
>(although I got the first paper dag04.pdf)
>
>A question: Have you ever encountered a category-theoretical semantics
>for description logics? I thought that since DL domain could be
>naturally embedded in the category of all relations, then perhaps its
>semantics will be much easier then topoi based semantics for FOL (????)
>
>Thanks,
>serguei
>
>------------------------------------------------------------------------
>--------------
>Serguei Krivov, Assist. Research Professor,
>Computer Science Dept. & Gund Inst. for Ecological Economics,
>University of Vermont; 590 Main St. Burlington VT 05405
>phone: (802)-656-2978
>
>
>-----Original Message-----
>From: seek-kr-sms-admin at ecoinformatics.org
>[mailto:seek-kr-sms-admin at ecoinformatics.org] On Behalf Of Joseph Goguen
>Sent: Wednesday, January 26, 2005 11:35 PM
>To: ludaesch at sdsc.edu
>Cc: jones at nceas.ucsb.edu; seek-kr-sms at ecoinformatics.org
>Subject: Re: [seek-kr-sms] kr issues at kepler meeting
>
>Dear Bertram,
>
>Thanks for the encouragement; we are working on this now; first step is
>to
>catch up on some of the background that is online already. By the way,
>two
>of the ontology papers that ive been working on are now in final form
>and
>are online (earlier i sent links to drafts), at
>
> http://www.cs.ucsd.edu/~goguen/pps/dag04.pdf
>
> http://www.cs.ucsd.edu/~goguen/pps/ifi.pdf
>
>There is also some related work at
>
> http://www.cs.ucsd.edu/~goguen/pps/comblog04.pdf
>
> http://www.cs.ucsd.edu/~goguen/pps/iccs05.pdf
>
> http://www.cs.ucsd.edu/~goguen/pps/nel05.pdf
>
>though the last is very technical. (All .pdf also have .ps versions.)
>
> == joseph
>
>************************************************************************
>******
>>From: Bertram Ludaescher <ludaesch at sdsc.edu>
>>Date: Wed, 26 Jan 2005 07:57:54 -0800
>>Cc: jones at nceas.ucsb.edu, seek-kr-sms at ecoinformatics.org
>>X-Spam-Status: NO, hits=-4.90 required=5.00
>>X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on
>baton.cs.ucdavis.edu
>>X-Spam-Flag: Spam NO
>>X-Scanned-By: milter-spamc/0.15.245 (fast.ucsd.edu [132.239.15.4]);
>pass=YES; Wed, 26 Jan 2005 07:56:56 -0800
>>X-Spam-Level: Level
>>
>>
>>Dear Joseph:
>>
>>Thanks for this suggestion! Maybe Jenny could tune into the SEEK IRC
>>or directly contact Mark and/or Shawn re. this?
>>
>>cheers
>>
>>Bertram
>>
>>--
>>Bertram Ludaescher, PhD, Assoc. Prof.
>>Dept of Computer Science & Genome Center
>>University of California, Davis
>>One Shields Avenue, Davis, CA 95616
>>Ph: (530) 754-8576, ludaesch at ucdavis.edu
>>
>>Joseph Goguen writes:
>>>Dear Matt and others,
>>>
>>>I havent discussed this with Jenny yet, but probably we could put
>together at
>>>least preliminary ontologies, if the timeline requires doing something
>before
>>>a new hire can be in place; in any case, we are interested in types
>and
>>>matching for ontologies, and this could be a useful input for a case
>study in
>>>that area.
>>>
>>>== joseph
>>>
>>>>Delivered-To: seek-kr-sms at ecoinformatics.org
>>>>From: Matt Jones <jones at nceas.ucsb.edu>
>>>>User-Agent: Mozilla Thunderbird 0.9 (X11/20041103)
>>>>X-Accept-Language: en-us, en
>>>>X-NCEAS-MailScanner-Information: Please contact the ISP for more
>information
>>>>X-NCEAS-MailScanner: Found to be clean
>>>>X-BeenThere: seek-kr-sms at ecoinformatics.org
>>>>X-Mailman-Version: 2.0.8
>>>>Precedence: bulk
>>>>List-Help:
><mailto:seek-kr-sms-request at ecoinformatics.org?subject=help>
>>>>List-Post: <mailto:seek-kr-sms at ecoinformatics.org>
>>>>List-Subscribe:
><http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms>,
>>>>
><mailto:seek-kr-sms-request at ecoinformatics.org?subject=subscribe>
>>>>List-Id: <seek-kr-sms.ecoinformatics.org>
>>>>List-Unsubscribe:
><http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms>,
>>>>
><mailto:seek-kr-sms-request at ecoinformatics.org?subject=unsubscribe>
>>>>List-Archive: <http://www.ecoinformatics.org/pipermail/seek-kr-sms/>
>>>>Date: Tue, 25 Jan 2005 10:38:12 -0900
>>>>
>>>>
>>>>Message-ID: <41F69F7A.5090108 at nceas.ucsb.edu>
>>>>Date: Tue, 25 Jan 2005 10:35:22 -0900
>>>>From: Matt Jones <jones at nceas.ucsb.edu>
>>>>User-Agent: Mozilla Thunderbird 0.9 (X11/20041103)
>>>>X-Accept-Language: en-us, en
>>>>MIME-Version: 1.0
>>>>To: "Schildhauer, Mark" <schild at nceas.ucsb.edu>
>>>>CC: kr-sms at ecoinformatics.org
>>>>Subject: kr issues at kepler meeting
>>>>Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>>>>Content-Transfer-Encoding: 7bit
>>>>
>>>>Mark,
>>>>
>>>>At the Kepler meeting a variety of issues arose regarding the need
>for
>>>>some specific ontologies. Shawn's assessment was that Rich's
>ontologies
>>>>were not well-tuned for use in describing actors, and that we need
>>>>something that is richer than what Chad produced as an initial
>>>>classification. Shawn said that Rich's ontology might be better for
>>>>annotating data, but that it would still need to be extended for our
>>>>areas of specialization (ENM and biodiversity) as they are currently
>>>>focused on food webs. So...the bottom line is that the Kepler group
>is
>>>>requesting that the KR group develop some specific ontologies that
>can
>>>>be used in the context of Kepler. Some bugs were entered into
>bugzilla
>>>>for this.
>>>>
>>>>Could you review the Kepler meeting notes on the Kepler web site,
>review
>>>>the bugs entered, and talk with Shawn about how to proceed?
>>>>Obviously, much depends upon hiring a replacement for Rich, and the
>ball
>>>>is in my court on that one, but it would be good to bring the needs
>that
>>>>were expressed to your attention.
>>>>
>>>>Matt
>>>>--
>>>>-------------------------------------------------------------------
>>>>Matt Jones jones at nceas.ucsb.edu
>>>>http://www.nceas.ucsb.edu/ Fax: 425-920-2439 Ph: 907-789-0496
>>>>National Center for Ecological Analysis and Synthesis (NCEAS)
>>>>University of California Santa Barbara
>>>>Interested in ecological informatics? http://www.ecoinformatics.org
>>>>-------------------------------------------------------------------
>>>
>>>_______________________________________________
>>>seek-kr-sms mailing list
>>>seek-kr-sms at ecoinformatics.org
>>>http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms
More information about the Seek-kr-sms
mailing list