>
>
> > the terms used to describe and represent THE TYPES OF ENTITIES IN an
> > area of knowledge (subject matter)
>
>The types (classes, whatever); ok, I'm down with that. (Though I really
>don't like "ENTITY", but hey we've got axioms to clear up what we mean! ;-)
>
> > AND THE RELATIONS BETWEEN THESE ENTITIES.
>
>What happened to the entities themselves? Granted, we typically
>axiomatize types, but suppose I'm developing, say, a demographic
>ontology. Don't I get to talk about Philadelphia as well as the type
>CITY? Don't we want axioms like "(InstanceOf Philly CITY)"?
>
> > An ontology thus defines the vocabulary and the DOMAIN OF ENTITIES AND
> > RELATIONS TO WHICH that vocabulary REFERS.
>
>Oh, good, there are the entities. But what happened to the types?
>Shouldn't it be: the domain of ENTITYs, TYPEs, and RELATIONs? (01)
I am using 'Entity' to comprehend both types and their instances. (02)
There are relations
- between instances and instances (Chris's heart part-of Chris)
- between instances and types (Chris instantiates the type homo
sapiens; Chris is-allergic-to aspirin)
- between types and types (homo sapiens is-subtype-of mammal) (03)
BS (04)
>-chris
>
>
>_________________________________________________________________
>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 (05)
_________________________________________________________________
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 (06)
|