ontolog-forum
[Top] [All Lists]

[ontolog-forum] Ontolgizing rain & snow [was: Track 1&2 Joint Mission an

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Thu, 26 Jan 2012 13:11:47 -0500
Message-id: <1e625bbcf1eef3d0f28b82b3ff820420.squirrel@xxxxxxxxxxxxxxxxx>
[ Also sent to ontology-summit discussion group. ]    (01)

Matthew West wrote:    (02)

> I understand your view. How shall you handle rain and snow?    (03)

Rain & snow refer to physical precipitation particles, the precipitation in
bulk, the process that produces the precipitation, storms as events, and
storms as objects.    (04)

Cyc's representation of these different, but related things (leaving out
comments and some additional statements) includes:    (05)

(isa PrecipitationParticle ExistingObjectType)
(genls PrecipitationParticle Particle)
(genls PrecipitationParticle InanimateObject-Natural)    (06)

(isa RainProcess ProcessType)
(genls RainProcess PrecipitationProcess)    (07)

(isa SnowProcess ProcessType)
(genls SnowProcess PrecipitationProcess)    (08)

(isa Rainwater ExistingStuffType)
(genls Rainwater (LiquidFn Water-Fresh))    (09)

(isa SnowMob ExistingStuffType)
(genls SnowMob (SolidFn Water))    (010)

(isa Snowflake ExistingObjectType)
(genls Snowflake PrecipitationParticle)
(genls (MobFn Snowflake) SnowMob)    (011)

(isa Raindrop ExistingObjectType)
(genls Raindrop PrecipitationParticle)
(genls Raindrop Rainwater)    (012)

(relationAllExists outputsGenerated PrecipitationProcess
                         (MobFn PrecipitationParticle))
(relationAllExists outputsGenerated RainProcess (MobFn Raindrop))
(relationAllExists outputsGenerated SnowProcess (MobFn Snowflake))    (013)

(isa StormAsObject ExistingObjectType)
(genls StormAsObject InanimateObject-Natural)
(relationAllExists physicalParts StormAsObject CloudInSky)    (014)

(isa RainStormAsObject ExistingObjectType)
(genls RainStormAsObject StormAsObject)
(relationAllExists physicalParts StormAsObject CloudInSky)
(relationAllExists physicalParts StormAsObject (MobFn Raindrop))    (015)

(isa SnowStormAsObject ExistingObjectType)
(genls SnowStormAsObject StormAsObject)
(relationAllExists physicalParts StormAsObject CloudInSky)
(relationAllExists physicalParts SnowStormAsObject (MobFn Snowflake))    (016)

(not (relationExistsAll doneBy PrecipitationProcess StormAsObject))
(comment
  (not (relationExistsAll doneBy PrecipitationProcess StormAsObject))
  "A StormAsObject would include Duststorms, which don't (necessarily)
include precipitation.")    (017)

(relationExistsAll doneBy RainProcess RainStormAsObject)
(relationExistsAll doneBy SnowProcess SnowStormAsObject)    (018)

(isa StormAsEvent ExistingObjectType)
(genls StormAsEvent ImmediateWeatherProcess)    (019)

(isa RainStormAsEvent ExistingObjectType)
(genls RainStormAsEvent StormAsEvent)
(relationAllExists subprocesses RainStormAsEvent RainProcess)
(relationAllExists doneBy RainStormAsEvent RainStormAsObject)    (020)

(isa SnowStormAsEvent ExistingObjectType)
(genls SnowStormAsEvent StormAsEvent)
(relationAllExists subprocesses SnowStormAsEvent SnowProcess)
(relationAllExists doneBy SnowStormAsEvent SnowStormAsObject)    (021)

(isa SnowStormAsObject ExistingObjectType)
(genls SnowStormAsObject StormAsObject)
(relationAllExists physicalParts SnowStormAsObject (MobFn Snowflake))    (022)


> Jack
> On Jan 26, 2012, at 6:09 AM, Matthew West wrote:
>
>> The main problem here is one of different people using terms
>> differently. Hardly an ontological problem per se, but certainly a
>> problem that causes confusion in developing ontologies.    (023)

This is always a problem for ontologists.  The different meanings have
to be teased apart.    (024)

>> Interestingly as a 4 dimensionalist I don’t recognise endurants at all,
>> but I do recognise activities, physical objects, and participants. Under
>> this world view all individuals (including activities, physical objects
>> and participants) are spatiotemporal extents, and you discover that an
>> activity consists of its participants, where a participant is the state
>> of a physical object that participates in some activity. So I recognise
>> the things you talk about. However, I would assign the term “system” to
>> the physical object the participant is a state of.    (025)

I would not restrict the term "system" merely to physical objects.  But
having multiple clearly defined concepts which different people use that word
for in different contexts, is fine.  They just need different URIs.    (026)

-- doug    (027)

>> Regards
>>
>> Matthew West
>> Information  Junction
>> Tel: +44 1489 880185
>> Mobile: +44 750 3385279
>> Skype: dr.matthew.west
>> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>> http://www.informationjunction.co.uk/
>> http://www.matthew-west.org.uk/
>>
>> This email originates from Information Junction Ltd. Registered in
>> England and Wales No. 6632177.
>> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
>> Hertfordshire, SG6 3JE.
>> ...    (028)



_________________________________________________________________
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/    (029)



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (030)

<Prev in Thread] Current Thread [Next in Thread>