On May 7, 2012, at 6:14 AM, John F Sowa wrote: (01)
> Leo and Doug,
>
> Leo
>> �Type� and �Class� are pretty much used interchangeably in ontology
>engineering.
>
> I agree that there is a huge amount of confusion, and both of them are
> also confused with the word 'set'. My recommendation is to use the
> following definitions:
>
> 1. A class is a set of all x of a given type.
>
> 2. Every type can be specified by a monadic predicate that is
> true of every instance of that type.
>
> These two definitions are sufficiently short and general that they can
> be specialized to all the major notations and schools of thought.
>
John,
To me this says that 'ontologists' do not discern content and structure
(endogenous attributes) from behavior (exogenous attributes). Am I
understanding your intent? (02)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012
Community Portal: http://ontolog.cim3.net/wiki/ (03)
|