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.
Joel Luis Carbonera
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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