Dear Pat, (01)
As a computer scientist I favor Class / Subclass relations, as an Ontologist I
favor Type / Subtype relations and as a mathematician I favor Set / Subset
relations. Perhaps we need to reconcile our perspectives before our names.
Each construct comes to us from a particular field of endeavor and we need to
understand not which to use as much as which is the Lingua-franca for formal
representation of the definitions of concepts and their associated axioms. (02)
If the mathematical definitions that are the basis for our the lingua franca
are paramount we should use the Set / Subset notation. (03)
If the computable version of the language is the final arbiter of truth then
Class Subclass relations make the most sense in an object oriented environment
(so not as to be confused with the usage of Types in heavily typed computing
languages). (04)
If the philosophical and Ontological view of the universe is the correct
abstraction and it can be operationalized I would vote for the Type Subtype
relation. (05)
Given the state of the political universe, I do wonder if all interests can be
equally represented in any such decision. (06)
Inquisitively yours, (07)
Peter (08)
Peter L. Elkin, MD
Professor of Medicine
Mayo Clinic College of Medicine
(507) 284-1551
Fax: (507) 284-5370 (09)
-----Original Message-----
From: ontac-forum-bounces@xxxxxxxxxxxxxx
[mailto:ontac-forum-bounces@xxxxxxxxxxxxxx] On Behalf Of Cassidy, Patrick J.
Sent: Saturday, January 21, 2006 2:08 PM
To: ONTAC-WG General Discussion
Subject: [ontac-forum] Type vs. Class - last chance to vote. (010)
In order to resolve a terminological question, we are in the process of
voting whether to use the term "Type" or "Class" to refer to those
intensionally-defined groupings called: (011)
Class in Ontolingua and Protege
Class in RDF and OWL
Class in SUMO
Collection in OpenCyc
Universal in DOLCE
Property in Ontology Works' IODE system
--------------- (012)
The only contenders put forward are:
Type
Class (013)
if "type" then the subsumption relation will be subtype
if "class" then the subsumption relation will be subclass (014)
Thus far the preferences expressed have been:
Type 10
Class 4 (015)
I will tally the vote on Sunday night (Jan. 22nd).
If you have any preference and haven't yet voted, send me a note
directly: (016)
pcassidy@xxxxxxxxx (017)
Pat (018)
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 (019)
_________________________________________________________________
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 (020)
_________________________________________________________________
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 (021)
|