Dear Joel Luis,
How about this.
SF = Sedimentary Facies
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
Tel: +44 1489 880185
Mobile: +44 750 3385279
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
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.