[Top] [All Lists]

Re: [ontology-summit] First Model Bench Challenge

To: "Ontology Summit 2012 discussion" <ontology-summit@xxxxxxxxxxxxxxxx>
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Mon, 7 May 2012 12:42:49 -0400
Message-id: <5de83e2f7a02020d40f56d2a3ab1a7d1.squirrel@xxxxxxxxxxxxxxxxx>
On Mon, May 7, 2012 09:14, John F Sowa wrote:
> 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.    (01)

This raises the question of what to do about Xes that are sometimes
of one type and sometimes of another.  At any given time (and context)
there is a set of all X of a given type.  However, at another time (or
there may be a different set of all Y of that same type.    (02)

If you are referring to a "set" that has different members at different
then you are not referring to a standard mathematical set.    (03)

-- doug foxvog    (04)

>   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.
>...    (05)

> John    (06)

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