ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] How determine the instances of this concept?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Alex Shkotin <alex.shkotin@xxxxxxxxx>
Date: Sat, 8 Oct 2011 09:33:36 +0400
Message-id: <CAFxxROS1fPsb4jf-CwQXhuPymJrA-TsJAVVPt3Gb8nJ3aY8Exg@xxxxxxxxxxxxxx>
Hi Joel,

may be the most important is to agree that an instance of a concept "Sedimentary facies" is a volume filled with solids. A volume which is a part of other bigger volume and differ from it by some measurable properties.
Then we may use FOL (with numbers) for solids and volumes. 

Alex

2011/10/6 joel luis carbonera <joelcarbonera@xxxxxxxxx>
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
 


_________________________________________________________________
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>