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
I've
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
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (08)
|