Where or when would you use sort? A dog is a sort of family member? (01)
Regards,
Antoinette (02)
Antoinette Arsic
Sr. Information Systems Engineer
The MITRE Corporation
703-337-9016 (VOIP)
*703-983-5286 (new office number, was 883)
*443-567-2703 (new cell) (03)
-----Original Message-----
From: ontac-dev-bounces@xxxxxxxxxxxxxx
[mailto:ontac-dev-bounces@xxxxxxxxxxxxxx] On Behalf Of Smith, Barry
Sent: Wednesday, January 18, 2006 12:47 PM
To: ONTAC Taxonomy-Ontology Development Discussion
Subject: Re: [ontac-dev] Type vs. Class et al. (04)
At 05:25 PM 1/18/2006, you wrote:
>COSMO-WG:
> This is a first note using the ONTAC-dev listserver. I did not
>receive any objections to moving our discussions to the ONTAC-dev
>server, so all COSMO-WG members should find themselves on the list.
>
> Regarding the issue of what to call a 'Class' - Type? . . .
>
>First a clarification:
>
> >> The first [concept] is a disaster, though it is used e.g.
>by ISO in its current terminology standards, and indeed by our Great
>Leader.
>
>[PC] modestly accepting what I believe is a reference to my frequent
>use of the term "concept", please understand that I fully sympathize
>with Barry's emphasis on the need to distinguish between real things
in
>the world and the concepts people have of them and the terms by which
>we refer to them. But I am not aware yet of a usage that will serve
>all of our purposes, and have noticed some problems caused by a lack
of
>standardization of these terms. So it's probably a good idea to try
to
>agree on a terminology.
>
>I need a term that means "a class or relation or function or instance
>or metaclass or function term or axiom or procedural rule or attached
>method or any other element that we would want to put into an ontology
>that represents some element of meaning, as distinct from the actual
>things in the world to which they refer and as distinct from the
>specific manner in which they happen to be represented." or "some
>abstract entity which is represented by symbols in our ontologies, is
>intended to correspond in structure to some idea people have about
>something or other, and refers to something other than itself". (05)
I think that with this vegetable garden you are just proving my point. (06)
>For that, I have been using the term "concept". Occasionally in
>informal notes I may use "notion". In deference to Barry's dislike of
>'concept', I have occasionally used the phrase "Class or relation",
>though that leaves out all those other things I want to refer to.
>
>I think this is close to what is usually intended by references to
>Ogden's "meaning triangle":
>
>
> Concept
> / \
> / \
> / \
> Symbol/Term --- Referent/Thing/Real-world Object
>
>Does anyone else have a candidate for a general term we should use to
>refer to any of the constituent elements of our ontologies? (07)
Term (08)
>----
>When I mean a "Class" (Type, Category, Kind) I say "Class". (09)
This is not an element in the ontology. It is what an element in the
ontology refers to (or it is the extension of what an element in the
ontology refers to). (010)
>I use "Class" because it is used by the RDF and OWL communities (which
>are W3C standards), and I try to use the terms which are most widely
>used. (011)
"Concept" is an ISO standard; but good sense will win through, in the
end. (012)
> I believe this to be identical in meaning to "Collection" as
>used in OpenCyc, "Class" in SUMO, "Universal" in DOLCE and "Property"
>in the Ontology Works system. I use it in the Ontolingua sense, as an
>intensionally defined grouping distinct from 'Set' which refers to an
>extensionally defined grouping. I am not intending to use it in the
>set-theoretic sense.
>
>That term may have different usages in different communities (I think
>ISO15926 has a slightly different usage, though I do not yet fully
>understand it).
>
>For our discussions, I will happily use any term on which we can
agree.
>
>As for Barry's list:
>
>[BS] >> There is no perfect solution here. The
>conceivably feasible alternatives (known to me) are:
>
>concept
>universal
>type
>class
>species
>kind
>category
>
>[PC] . . . you left out "Sort" and "Property" (the latter from
Ontology
>Works). (013)
I agree that 'sort' should be on the list. I do not think 'property'
fits, however. We have (014)
Fido instance_of dog (015)
'Fido' refers to an instance (016)
Q1. What does 'dog' refer to? (017)
The color of this book instance_of red. (018)
'The color of this book' refers to an instance (019)
Q2. What does 'red' refer to? (020)
>a universal
>a type
>a class
>a species
>a kind
>a category
>a sort (021)
are all reasonable answers to both Q1 and Q2. 'Concept' is a good
answer to none of them. 'Property' a good answer at best to Q2. (022)
>For our immediate purpose we only need to fix on the term we will use
>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 vote is still open. (023)
I vote for (024)
type
universal
kind
sort (025)
in this order.
BS (026)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatin
gWG (027)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (028)
|