On Thu, October 6, 2011 3:40, Matthew West said:
> Dear Joel Luis, (01)
> How about this. (02)
> SF = Sedimentary Facies
>
> R= Rock (03)
> Each SF is an R
> Each SF is a proper part of some R
> Each SF has a boundary
> Each boundary that is a boundary of an SF is visible (04)
Wouldn't SF have a boundary with the part of R that is not
also part of SF? (05)
This does not indicate that SF is visually different from
the rest of R. (06)
SF would be a "connected proper part" of R, not just a proper part. (07)
> Regards (08)
> Matthew West
>
> Information Junction
>
> Tel: +44 1489 880185
>
> Mobile: +44 750 3385279
>
> Skype: dr.matthew.west
>
> <mailto:matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx>
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>
> <http://www.informationjunction.co.uk/>
> http://www.informationjunction.co.uk/
>
> <http://www.matthew-west.org.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.
>
>
>
>
>
>
>
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of joel luis
> carbonera
> Sent: 06 October 2011 05:55
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Subject: [ontolog-forum] How determine the instances of this concept?
>
>
>
> I'm modeling an ontology for the field of geology.
>
>
>
> Trying to represent the ontology in first order logic, considering the
> necessary and sufficient conditions for each concept, I have found some
> challenges regarding to a specific concept, called Sedimentary Facies.
>
>
>
> The current domain definition of Sedimentary facies is as follows:
>
> A Sedimentary facies is a amount of rock in a body of rock, visually
> distinguishable (through discontinuities of visual properties) of adjacent
> amounts of rock in the same body of rock.
>
>
>
> How can I formalize this concept in FOL?
>
>
>
> Apparently, the instances of this concept are determined depending on each
> other, in a relative way. I'm not sure that I canlogically determine what
> are the instances of the concept.
>
>
>
> Best regards.
>
>
>
> Joel Luis Carbonera
>
>
> _________________________________________________________________
> 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
> (09)
=============================================================
doug foxvog doug@xxxxxxxxxx http://ProgressiveAustin.org (010)
"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
- Dr. Martin Luther King Jr.
============================================================= (011)
_________________________________________________________________
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 (012)
|