ontology-summit
[Top] [All Lists]

Re: [ontology-summit] First Model Bench Challenge

To: Ontology Summit 2012 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: Bradley Shoebottom <bradley.shoebottom@xxxxxxxxxxxxx>
Date: Thu, 10 May 2012 16:00:40 +0000
Message-id: <1B8EDAD4532ABF41A819B3E5845062DB0533727F@xxxxxxxxxxxxxxxxxxx>
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)
<Prev in Thread] Current Thread [Next in Thread>