[Top] [All Lists]

[ontolog-forum] Yet another ontology definition

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Alex Shkotin <alex.shkotin@xxxxxxxxx>
Date: Sun, 27 Jun 2010 11:34:03 +0400
Message-id: <AANLkTilKigAVb0x0T_atXxFu9n6tg-e1DmKXcwdluAJ5@xxxxxxxxxxxxxx>

Dear all,

during our research under the title "Formal Geology" this kind of definition arise:

Ontology is a [part of] formal theory having interpretation in the real world.

For example, we use first order predicate calculi (with numbers) to describe rock sample features.

It would be nice to get your opinion.

Thank you,



As an example of definition have a look at

harzburgite(x) =

not (pyroclastic(x) or kimberlite(x) or lamproite(x) or lamprophyre(x) or charnockite(x))

and plutonic(x)

and VPC_carbonates(x)≤50 and VPC_melilite(x)≤10 and VPC_kalsilite(x)=0

and VPC_leucite(x)=0 and VPC_M(x) ≥ 90 and VPC_hornblende(x)=0 and (0  ≤ VPC_Cpx(x))

and (0.4*(VPC_Ol(x)+VPC_Opx(x)+VPC_Cpx(x)) ≤ VPC_Ol(x)) 

and (VPC_Ol(x)  ≤ 0.9*(VPC_Ol(x)+VPC_Opx(x)+VPC_Cpx(x)))

and (VPC_Cpx(x) < 0.05*(VPC_Ol(x)+VPC_Opx(x)+VPC_Cpx(x)))

Where VPC stands for Volume Percentage Content of the mineral in the sample.

Example of an axiom is

x not (plutonic(x) and volcanic(x))

All functions and predicates mentioned in the right part of definition are primary symbols of the formal theory.

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>