|To:||edbark@xxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||"Adrian Walker" <adriandwalker@xxxxxxxxx>|
|Date:||Thu, 8 Feb 2007 15:40:30 -0500|
Hi Ed --|
Actually, the thought was that since the closed/open world negation debate generates so much heat, an encyclopedia entry for logic and ontologies could shed some light on the matter by clearly setting out the arguments on both sides. The entry would not need to resolve the issue, just clarify it. Perhaps with examples about where each kind of negation works best.
One can, for certain "instantaneous" inferences, assume that the universe is
finite and consists only of things recorded in the current information base.
But to account for the evolution of that information base over time, one
obviously cannot make that assumption. And one has to step very carefully
through the swamp that is created when these notions get mixed.
Actually, there appears to be a rather easy way out of the swamp, at least in principle and for some purposes:
* Associate, with each chunk of information, a list of start times and end times.
* Never delete any information, just grow the time lists, and add new "timed" information
* Associate with any answer to a question about the information, the time point(s), or time period(s), for which the answer is valid.
* When querying, use closed world negation at will.
Storage intensive, but perhaps worthwhile. Or am I overlooking something?
Cheers, -- Adrian
Internet Business Logic (R)
A Wiki for Executable Open Vocabulary English
Online at www.reengineeringllc.com
Shared use is free
Phone: USA 860 830 2085
On 2/8/07, Ed Barkmeyer <edbark@xxxxxxxx> wrote:
Adrian Walker wrote:
_________________________________________________________________ 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] UNSUBSCRIBE, Horning, Jim|
|Next by Date:||Re: [ontolog-forum] Logic, Datalog and SQL, Pat Hayes|
|Previous by Thread:||Re: [ontolog-forum] Logic, Datalog and SQL, Ed Barkmeyer|
|Next by Thread:||Re: [ontolog-forum] Logic, Datalog and SQL, Pat Hayes|
|Indexes:||[Date] [Thread] [Top] [All Lists]|