Issue 52 in information-artifact-ontology: Annotation to distinguish defined class from universal

[codesite...@google.com]

Status: New
Owner: alanruttenberg
Labels: Type-Term Priority-Medium

New issue 52 by alanruttenberg: Annotation to distinguish defined class
from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

Perhaps make the distinctions finer along the scheme that Werner has
suggested-

Universal
Class
ad hoc class
defined class
extension

Need to understand his distinctions first, though.

--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings

[codesite...@google.com]

Comment #1 on issue 52 by alanruttenberg: Annotation to distinguish defined

class from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

Added draft definitions of denotator type and three instances: universal,
defined class, named class expression,
in r215 checkin. Needs review.

[codesite...@google.com]

Comment #2 on issue 52 by mcourtot: Annotation to distinguish defined class
from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

Could you give an example of what those would be used for?

[codesite...@google.com]

Comment #3 on issue 52 by alanruttenberg: Annotation to distinguish defined

class from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

An example of a named class expression would be the OBI class "material to
be added" which is a short hand
for material entity and has role some material to be added role.

An example of a universal would be the quality PATO:0001874: disk shaped

An example of a defined class would be
Apple or Orange: UnionOf(Apple Orange)

[codesite...@google.com]

Comment #4 on issue 52 by alanruttenberg: Annotation to distinguish defined

class from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

Another example, discussed in IDO recently, would be the class "pathogen",
which is a union of all classed
defined as beaingr some "pathogenic disposition towards Y", as pathogenic
disposition is a relational
disposition.

[codesite...@google.com]

Comment #5 on issue 52 by mcourtot: Annotation to distinguish defined class
from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

I meant how will the new annotation property be used, and for which
purpose. Editor
notes state that for universal classes, we could manage disjoints
automatically, and
that for named classes, we may which not to display them in tools.

Those haven't been major issues until now, and are managed automatically
within OBI
which is much larger than IAO. Past experience show we haven't been very
good at
managing curation status for example, and I am just wondering if the
benefits to be
gained in this case outweigh the curatorial hassle of adding this property
to each
class?

[codesite...@google.com]

Comment #6 on issue 52 by seannos.style: Annotation to distinguish defined

class from universal
http://code.google.com/p/information-artifact-ontology/issues/detail?id=52

Here is my complete list of various sorts of classes that I distinguish for
referent
tracking:

Defined Class (DCL): a class whose members are
particulars which share an additional property but do
not form an extension.2

Properly Defined Class (PDC): a DCL whose
members are all instances of some universal which
share additional properties which are such that (1)
there are other instances of that universal which do
not share these properties, and (2) there are
particulars which do not instantiate that universal but
nevertheless exhibit the properties as well. PDCs
come in two flavors.

Specifically Defined Class (SDC): each property
shared by the members of the PDC is a relationship
that they enjoy with another particular, for example
all human beings living in Buffalo, NY;

Generically Defined Class (GDC): at least one of the
properties shared by the members of the PDC is a
relationship that they enjoy with distinct particulars
which are all instances of some universal, for example
all human beings with tuberculosis. This class is not a
SDC because persons can not share their
tuberculosis: each disorder in an individual is
numerically distinct from a disorder in another
individual although these two disorders may be of
exactly the same type.

Ad hoc Class (AHC): a DCL whose members are
particulars for which there is not a universal that they
all instantiate. Here too we distinguish amongst
Generic Ad hoc Classes (GAC) and Specific Ad hoc
Classes (SAC) in the same way as for PDCs. An
example of a SAC is the collection formed by the
clinical signs exhibited by a specific patient with
tuberculosis. An equivalent GAC would be the
collection of clinical signs exhibited by all
tuberculosis patients assigned to the control group of
a clinical trial.

Werner

[Barry Smith]

At 10:02 AM 9/1/2009, codesite...@google.com wrote:


>Comment #6 on issue 52 by seannos.style: Annotation to distinguish defined
>class from universal
>http://code.google.com/p/information-artifact-ontology/issues/detail?id=52
>
>Here is my complete list of various sorts of classes that I distinguish for
>referent
>tracking:
>
>Defined Class (DCL): a class whose members are
>particulars which share an additional property but do
>not form an extension.2

'additional' to what?

>Properly Defined Class (PDC): a DCL whose
>members are all instances of some universal which
>share additional properties which are such that (1)
>there are other instances of that universal which do
>not share these properties, and (2) there are
>particulars which do not instantiate that universal but
>nevertheless exhibit the properties as well. PDCs
>come in two flavors.

'properly' sounds fishy; (like 'real' or 'existing' or 'genuine')
find a better word

>Specifically Defined Class (SDC): each property
>shared by the members of the PDC is a relationship
>that they enjoy with another particular, for example
>all human beings living in Buffalo, NY;
>
>Generically Defined Class (GDC): at least one of the
>properties shared by the members of the PDC is a
>relationship that they enjoy with distinct particulars
>which are all instances of some universal, for example
>all human beings with tuberculosis. This class is not a
>SDC because persons can not share their
>tuberculosis: each disorder in an individual is
>numerically distinct from a disorder in another
>individual although these two disorders may be of
>exactly the same type.
>
>Ad hoc Class (AHC): a DCL whose members are
>particulars for which there is not a universal that they
>all instantiate.

is 'particular' not a universal?

>Here too we distinguish amongst
>Generic Ad hoc Classes (GAC) and Specific Ad hoc
>Classes (SAC) in the same way as for PDCs. An
>example of a SAC is the collection formed by the
>clinical signs exhibited by a specific patient with
>tuberculosis. An equivalent GAC would be the
>collection of clinical signs exhibited by all
>tuberculosis patients assigned to the control group of
>a clinical trial.

where would 'rate' and other putative qualities of processes fit?