|To:||"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||Andreas Tolk <atolk@xxxxxxx>|
|Date:||Sun, 11 May 2008 06:57:46 -0400|
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 Tolk, Ph.D.
Engineering Management & Systems Engineering
242B Kaufman Hall
Old Dominion University
Norfolk, VA 23529
(757) 683-4500 (voice)
(757) 683-5640 (fax)
_________________________________________________________________ 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:|
|Next by Date:|
|Previous by Thread:|
|Next by Thread:||Re: [ontolog-forum] Executable English and Logic and databases, Adrian Walker|
|Indexes:||[Date] [Thread] [Top] [All Lists]|