Jack, (01)
Type can be a combination of object properties and data properties. (02)
Let's look at the instance of e.g. Subaru Legacy
http://en.wikipedia.org/wiki/Subaru_Legacy (03)
The Legacy is a perfect example of "# of doors" data property or type affecting
if it appears in the more general Sedan class or more specific sub class
station wagon. If # of doors = 4 then a sedan. If number of doors = 5, then
Station wagon. (04)
The Legacy also belongs to the object property or type "Compact" class of
vehicles. This makes it a Sedan as compared to a SUV. (05)
Hope this helps. (06)
(I love using cars for ontology work as opposed to using a pizza to describe an
ontology conceptually) (07)
http://innovatia.net/blogs/that_ontology_guy/2010/04/hello-world/ (08)
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 (09)
-----Original Message-----
From: ontology-summit-bounces@xxxxxxxxxxxxxxxx
[mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Jack Ring
Sent: Thursday, May 10, 2012 12:45 PM
To: Ontology Summit 2012 discussion
Subject: Re: [ontology-summit] First Model Bench Challenge (010)
TKU. Pls explain how the concept, type, is involved here. (011)
On May 10, 2012, at 8:04 AM, Bradley Shoebottom wrote: (012)
> 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/ (013)
_________________________________________________________________
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/ (014)
_________________________________________________________________
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/ (015)
|