|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Sun, 12 Sep 2010 09:21:33 -0500|
Hi Patrick --|
Figuring out precisely what a term in an ontology is supposed to mean has
three aspects: what the person developing the ontology intends it to mean;
what the person reading the documentation interprets it to mean, and what
the computer executing a program using the ontology interprets it to mean.
Ideally, the they will be the same, but they may differ.
Here's how you can get the meanings much closer together.
1. Have the person "developing the ontology" write it in executable English
2. Have the person "reading the documentation" read the executable English
3. Have the computer program directly execute the executable English, guided by an underlying (and hidden) logical model theory.
4. Have English explanations of the results available
The above capability is live online and usable from a browser . It is of course a different paradigm from the
machine-notation-ontology + documentation + application-program-in-java
approach that the community is hacking away at. One way to think of the different paradigm is as "executable documentation", or as "computing with comments as the code".
 Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
On Sat, Sep 11, 2010 at 11:19 PM, Patrick Cassidy <pat@xxxxxxxxx> wrote:
_________________________________________________________________ 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>|
|Previous by Date:||Re: [ontolog-forum] Language vs Logic, Yuriy Milov|
|Next by Date:||Re: [ontolog-forum] Patent Office Admits the Truth: Things Are a Disaster | BNET, Peter Yim|
|Previous by Thread:||Re: [ontolog-forum] Language vs Logic, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Language vs Logic, David Eddy|
|Indexes:||[Date] [Thread] [Top] [All Lists]|