Vehicle (class)
Roadster (subclass)
Sedan (subclass)
SUV (subclass) (01)
has Use [Activity?] (object property)
Use (class)
Joyride
Shopping
Mass Transportation (02)
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) (03)
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. (04)
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 (05)
-----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 (06)
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 (07)
On May 9, 2012, at 11:02 PM, John F Sowa wrote: (08)
> 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/ (09)
_________________________________________________________________
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/ (010)
_________________________________________________________________
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/ (011)
|