[Top] [All Lists]

Re: [ontology-summit] First Model Bench Challenge

To: Ontology Summit 2012 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: Jack Ring <jring7@xxxxxxxxx>
Date: Mon, 7 May 2012 07:39:51 -0700
Message-id: <4250D42D-491C-49C4-83B5-9FB4EC92F774@xxxxxxxxx>

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 
> 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/   
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)
<Prev in Thread] Current Thread [Next in Thread>