02/22/96 09:44:12á
=========================================================================
Received: from PDADR1.PD.CNR.IT by vnet.IBM.COM (IBM VM SMTP V2R3) with TCP;
Thu, 22 Feb 96 12:40:53 EST
Received: from 150.178.2.46 (macguarino.ladseb.pd.cnr.it)
by PDADR1.PD.CNR.IT (PMDF V5.0-4 #10602)
id <01I1IVF2X11SQPFCOA@PDADR1.PD.CNR.IT> for spillers@VNET.IBM.COM; Thu,
22 Feb 1996 18:40:51 +0100 (MET)
Date: Thu, 22 Feb 1996 18:41:00 +0000
From: Nicola Guarino <guarino@ladseb.pd.cnr.it>
Subject: Re: Ontology standard
To: spillers@VNET.IBM.COM
Reply-to: guarino@ladseb.pd.cnr.it
Message-id: <312CB8BC.17A@ladseb.pd.cnr.it>
Organization: LADSEB-CNR
MIME-version: 1.0
X-Mailer: Mozilla 2.0 (Macintosh; I; 68K)
Content-type: text/plain; charset=us-ascii
Content-transfer-encoding: 7bit
References: <01I1CD7ATCLUQPF9BI@PDADR1.PD.CNR.IT>
Bob: please forward this to the other people (I don't have their address at
hand)
> Hello Nicola,
>
> Some time ago you sent a note to me asking about the effort to create a
> standard for ontologies. There is an ad hoc group associated with the
> ANSI X3T2 committee that is attempting to create such a standard. We are
> meeting at IBM's Santa Teresa Lab on March 4th and 5th. It would very nice
> if you could attend. If you are unable to attend, you could still
participate
> by e-mail. There will soon be a site at the Knowledge System Laboratory at
> Stanford University that will serve as a repository for information about
> the standards effort and also a repository for conforming ontologies.
I am unable to attend the meeting due to my budget limitations, but I will be
happy
to participate to the effort via email. I hope also to be able to use Stanford
KSL
Network Services, but I had troubles in the past.
> I have attached an agenda for the ad hoc group meeting. If you are unable
> to attend the meeting, but there is a topic(s) that interests you, please
> let me know and I will tell the group you wish to contribute to that
topic(s).
I have edited the agenda isolating the topics where I think I can contribute.
I look
forward for interacting with other people on these issues. In the meanwhile, I
thank
Bob Spiller for having accepted to do the organizing work, and I wish you all
the
best for your meeting.
> PURPOSE AND SCOPE OF THE STANDARD
>
> o Definition of a conforming ontology
> o Alignment of "slightly" incompatible ontologies
>
> THEORY
>
> o Relations
> - Other relations between types
> - Other relations between instances (e.g. part / whole)
>
> o Definition of concept types
>
> - Rules of definition
> -- Implicit
> - Axioms
> - How rigorous should the definitions be?
>
> CONCEPT LIBRARY
>
> o Upper structure
>
> o "Meat on the bones"; axioms, micro-theories, etc.
>
> EXTENSIONS AND TESTING
>
> o Description of ontological criteria
>
> o Methodology / strategies for ontology conflict resolution
>
-- Nicola
Nicola Guarino
National Research Council phone: +39 49 8295751
LADSEB-CNR fax: +39 49 8295778
Corso Stati Uniti, 4 email: guarino@ladseb.pd.cnr.it
I-35127 Padova
Italy
http://www.ladseb.pd.cnr.it/infor/Ontology/ontology.html
(*** UPDATED 14 February, 1996 ***)
ÿÿ