To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Andreas Tolk <atolk@xxxxxxx> |
Date: | Sun, 11 May 2008 06:57:46 -0400 |
Message-id: | <OF0273F202.646446A2-ON85257446.003C38B7-85257446.003C38BC@xxxxxxxxxxxxx> |
I agree with John that the positions are very close. Databases use logic and regular expressions, as the work on computer with models that are living in the world of true and false. By design, some models can deal with uncertainty and vagueness, but they do this in a certain and crisp way (which means that they use well define principles to capture ambiguous information unambiguously). Many users are not really comfortable with this, and in most cases don't have the education. A more "natural," but nonetheless consistent layer in their language is preferable. Executable English is a great option. The challenge is to make sure that both structures are derived from the same model. Otherwise we end up with inconsistency. In the language of model theory: true statements must remain true in both models, and false statements must remain false. Andreas ============================== ;-) Andreas Tolk, Ph.D. Associate Professor Engineering Management & Systems Engineering 242B Kaufman Hall Old Dominion University Norfolk, VA 23529 (757) 683-4500 (voice) (757) 683-5640 (fax) atolk@xxxxxxx _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), John F. Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), Pat Hayes |
Previous by Thread: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), John F. Sowa |
Next by Thread: | Re: [ontolog-forum] Executable English and Logic and databases, Adrian Walker |
Indexes: | [Date] [Thread] [Top] [All Lists] |