ontology-summit
[Top] [All Lists]

Re: [ontology-summit] First Model Bench Challenge

To: Ontology Summit 2012 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: Jack Ring <jring7@xxxxxxxxx>
Date: Thu, 10 May 2012 08:45:13 -0700
Message-id: <D4CAA93C-2E79-4610-93BA-73209EFE92F6@xxxxxxxxx>
TKU. Pls explain how the concept, type, is involved here.    (01)

On May 10, 2012, at 8:04 AM, Bradley Shoebottom wrote:    (02)

> Vehicle (class)
>  Roadster  (subclass)
>  Sedan (subclass)
>  SUV (subclass)
> 
> has Use [Activity?] (object property)
> Use (class)
>  Joyride
>  Shopping
>  Mass Transportation
> 
> Instances of the Vehicle subclass could be Laredo [Brand name class = Jeep] 
>for SUV
> Instances of the Use sub class could be "soccer team" for mass transit, 
>versus Intercity (which you might associate with busses or air travel)
> Shopping could have instances for grocery vs. home repair supplies vs. brief 
>errand (can be done on bike or motorcycle)
> 
> You could further create sub object properties for "has Use" if it was 
>important for you to more tightly control or search for specific use types 
>i.e. "Roaders" "hasJoyrideUse" "Joyride". This prevents the accidental 
>assignment of classes or instance from one class to the other when manually 
>curating the instantiated ontology.
> 
> 
> Bradley Shoebottom 
> Information Architect - R&D, Innovatia Inc.
> Tel: (506) 674-5439  |  Skype: bradleyshoebottom  | Toll-Free: 1-800-363-3358 
> bradley.shoebottom@xxxxxxxxxxxxx | www.innovatia.net | Follow us on Twitter
> 
> 
> 
> -----Original Message-----
> From: ontology-summit-bounces@xxxxxxxxxxxxxxxx 
>[mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Jack Ring
> Sent: Thursday, May 10, 2012 11:50 AM
> To: Ontology Summit 2012 discussion
> Subject: Re: [ontology-summit] First Model Bench Challenge
> 
> Matthew, John, Doug,
> Pls humor me. Slow learner. However this is about more than data processing.
> I have three vehicles (roadster, sedan and SUV) and three activities 
>(joyriding, grocery shopping and chauffeuring the soccer team). 
> Which are classes, types or sets?
> I think (roadster, sedan and SUV) comprise the set, classes of vehicles, 
>whereas (joyriding, grocery shopping and chauffeuring the soccer team) 
>comprise the set, types of usage. 
> Greatly appreciated.
> Jack
> 
> On May 9, 2012, at 11:02 PM, John F Sowa wrote:
> 
>> Dear Matthew and Doug,
>> 
>> MW
>>> I do not know what distinction you [JR] make between class and type. 
>>> I make none.
>> 
>> I sympathize.  I would prefer not to use the word 'class' because it 
>> has been used in so many different ways that any use is an open 
>> invitation to confusion.  In any case, my preferred definition 
>> determines a one-to-one association between classes and types:
>> 
>>   A class is the set of all x of a given type, where type is
>>   defined by a monadic predicate.
>> 
>> DF
>>> You define a class as "the set of all instances of a given type".  In 
>>> order for a definition of a set to identify a timeless group of 
>>> things, the definition must yield the same group no matter when its 
>>> extent is calculated.
>> 
>> That is why I prefer to avoid the word 'class'.  The O-O people wanted 
>> to apply set-like operators to collections that change their 
>> membership in different contexts.  The word 'type' defined by a 
>> monadic predicate has that property.  You can talk about subtypes and 
>> instances in the same way that you can talk about sets and members, 
>> but the instances can change in different contexts.
>> 
>> MW
>>> The spatio-temporal extents [in a 4D view] are considered to exist 
>>> simpliciter independent of time. You can of course also have the 
>>> class "Persons alive at 2012-05-08 21:52:00".
>> 
>> I'm happy with that way of talking.  But I would prefer to use the 
>> word 'set' when I focus on the instances and 'type' when I focus on 
>> the membership criteria.  There is never a case when the word 'class' 
>> is useful -- except when talking about notations that use that word.
>> 
>> John
>> 
>> _________________________________________________________________
>> 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/
> 
> 
> _________________________________________________________________
> 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/ 
> 
> _________________________________________________________________
> 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)


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