To: | ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | joel luis carbonera <joelcarbonera@xxxxxxxxx> |
Date: | Thu, 6 Oct 2011 01:55:16 -0300 |
Message-id: | <CALqyLEcWiLz4TAekd7eVf0VZKbwo2LRdYgbv1gj33grvanucjw@xxxxxxxxxxxxxx> |
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 (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontolog-forum] Foundations for Ontology, John F. Sowa |
---|---|
Next by Date: | [ontolog-forum] Final CFP: Intelligent Web Services meet Social Computing (IWEBSS), David Martin |
Previous by Thread: | [ontolog-forum] Last Call: Call for Full Chapters - Due Date on 31st October 2011, MUHAMMAD NAZIR BIN AHMAD SHARIF MUHAMMAD NAZIR BIN AHMAD SHARIF |
Next by Thread: | Re: [ontolog-forum] How determine the instances of this concept?, Matthew West |
Indexes: | [Date] [Thread] [Top] [All Lists] |