[Top] [All Lists]

RE: Our central COSMO focus (was RE: [ontac-forum]SurveyedOntology"Libra

To: "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
From: "Cassidy, Patrick J." <pcassidy@xxxxxxxxx>
Date: Fri, 11 Nov 2005 16:24:48 -0500
Message-id: <6ACD6742E291AF459206FFF2897764BE63E3F3@xxxxxxxxxxxxxxxxx>
Eric --
  Just to clarify one point or two:    (01)

[Eric P. said] Remember that the lattice as Dr. Sowa just defined is a
subsumption lattice.  Since one upper ontology has about a snowballs
chance of subsuming the content of another, the interesting lattice of
theories will be the one we create by grouping the axioms that we
encounter.    (02)

  Yes, that is what I would anticipate, too.     (03)

[Eric P. said]  To include other "voted" work, I suggest we adopt a
common syntax like
CL, KIF, or KFL.  Ideally, it would be a semantic web language, but
not liked the ones that I've seen FOL-wise.  But an OWL subset would be
useful.    (04)

I would recommend as the canonical language whatever is the most
expressive formalism used by any COSMO-WG participant, and translate to
the extent possible into other formalisms, if there is any demand for
them.  At this point, KIF seems least restrictive, but we can try to
avoid axiom constructions that would not be acceptable in kfl.  Those
that cannot be used in kfl can be marked in some way.  I think it would
still be worthwhile trying to get a translation into OWL, for whatever
part can be translated.  Perhaps others have other preferences?    (05)

Pat    (06)

Patrick Cassidy
MITRE Corporation
260 Industrial Way
Eatontown, NJ 07724
Mail Stop: MNJE
Phone: 732-578-6340
Cell: 908-565-4053
Fax: 732-578-6012
Email: pcassidy@xxxxxxxxx    (07)

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