Hi Pat: (01)
A few points from a respectful student of all the great work going on
here. I'm getting an education money can't buy here at ONTAC and thanks
to all who contribute to this list. (02)
I'm with Chris Menzel and Michael Gruninger even without the CL axioms. (03)
rdf:type means something different than Type in Information Flow speak
and I think semiotics as well. I don't know anything about OpenCyc, but
I'm guessing that Collection must mean something different than
rdfs:Class because the RDF Schema differentiates class from collection. (04)
See http://www.w3.org/TR/rdf-schema/#ch_type (05)
More importantly, it seems to me like we're at the meta-level of solving
a recurring problem and there's a pattern here and maybe a pattern
language to evolve: language, logic, theory, and model. Seems like we're
still faced with symbolic representation in different languages that
require truth mappings to the conceptualizations they represent. (06)
Also, I think it's a useful development that we're voting. Have we
considered adopting the Apache voting approach? (07)
http://www.apache.org/foundation/voting.html (08)
--
Best wishes, (09)
Rick (010)
email: rick@xxxxxxxxxxxxxx
web: http://www.rickmurphy.org
cell: 703-201-9129 (011)
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
>
>
> (012)
_________________________________________________________________
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 (013)
|