|From:||Alex Shkotin <alex.shkotin@xxxxxxxxx>|
|Date:||Thu, 2 Jun 2011 10:51:51 +0400|
we keep in mind a simple idea that for any given context a formal theory should be created where any term should have one particular definition (of meaning).
We took a petrology as a scientific context where definitions of rocks may be proven formalized.
This work is at the beginning and our achievement is this definition:
not (pyroclastic(x) or kimberlite(x) or lamproite(x) or lamprophyre(x) or charnockite(x))
and VPC_carbonates(x)≤50 and VPC_melilite(x)≤10 and VPC_M(x) ≥ 90 and VPC_kalsilite(x)=0 and VPC_leucite(x)=0 and VPC_hornblende(x)=0 and 0.4*VPC_OOC(x)≤VPC_Ol(x)≤0.9*VPC_OOC(x) and VPC_Cpx(x)<0.05*VPC_OOC(x)
Have a look at our presentation to get a flavour of approach: https://sites.google.com/site/alex0shkotin/formal-geology/events
And may be at the end of times we have got John's "lattice of theories";-)
A kind of formal theory is under investigation too.
There is a research report "Towards OWL-based Knowledge Representation in Petrology" accepted by http://www.webont.org/owled/2011/index.html
but we do not have chance to be there, unfortunately.
I think we put it in arXiv.org soon.
2011/6/2 Duane Nickull <dnickull@xxxxxxxxx>
_________________________________________________________________ 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] Need advice - Request a quick opinion on ontology languages, Duane Nickull|
|Next by Date:||Re: [ontolog-forum] Bad language - no biscuit., Simon Spero|
|Previous by Thread:||Re: [ontolog-forum] Need advice - Request a quick opinion on ontology languages, Duane Nickull|
|Next by Thread:||Re: [ontolog-forum] Need advice - Request a quick opinion on ontology languages, John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|