On May 7, 2012, at 6:14 AM, John F Sowa wrote: (01)
> Leo and Doug,
>> “Type” and “Class” are pretty much used interchangeably in ontology
> 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.
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/
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)