I vote for type and class - both distinctions need to be fully made. In
OWL-full both class and type get used - explore what happens when you
make meta-classes in Protege - I can send an example if requested,
Type is denotational - as in "ADT - Abstract Data Type" in
programming languages
Class is structural - composes ADTs - with computational paradigm
specific inheritance - with or without behavior
Category Theory as a "universal algebra" would shed more light on this:
For example (Monoids and Arrows, aka morphisms are found in
the Functional Programming domain - Haskell Monads and FRP Arrows)
Category Theory: sets <=> Objects: sets <=> Arrows: total
functions
Category Theory: Mon <=> Objects: monoids <=> Arrows:
monoid homomorphisms
Category Theory: Grp <=> Objects: groups <=> Arrows: group
homomorphisms
...
...
Knowledge representation in some domains requires the above.
Ralph Hodgson
Executive Partner
TopQuadrant, Inc., www.topquadrant.com
Office: (724) 846-9300 ext. 211,
Direct: (703) 960-1028, Fax: (425) 955-5469, Cell: (781) 789-1664
blog: http://topquadrant.typepad.com/ralph_hodgson/
Cassidy, Patrick J. wrote:
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:
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
---------------
The only contenders put forward are:
Type
Class
if "type" then the subsumption relation will be subtype
if "class" then the subsumption relation will be subclass
Thus far the preferences expressed have been:
Type 10
Class 4
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:
pcassidy@xxxxxxxxx
Pat
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
_________________________________________________________________
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
|
_________________________________________________________________
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 (01)
|