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

["Matthew West" <dr.matthew.west@xxxxxxxxx>]

Dear Joel Luis,

 

How about this.

 

SF = Sedimentary Facies

R= Rock

 

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

 

Regards

 

Matthew West                           

Information  Junction

Tel: +44 1489 880185

Mobile: +44 750 3385279

Skype: dr.matthew.west

matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx

http://www.informationjunction.co.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    (01)