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)
|