On Aug 16, 2011, at 12:51 PM, John F. Sowa wrote:
> ...
> CM
>> Do these "database context discovery methods" actually exist in code,
>> in a form people can actually use for doing real-world knowledge
>> engineering, or are you just sketching an architecture that you think
>> can be coded and that you think would work if it were?
>
> That depends on how much code you want to start with. The simplest
> implementation is a repository that organizes all the theories (or
> their axiomatizations) in a tree that puts theory A under theory B
> iff the axioms in B are a subset of the axioms of A. (01)
Well, I was really wondering whether *Rich* had any code implementing his
"database context discovery methods", as the architecture he described seemed
pretty sophisticated, what with its use of "heuristic methods" and all. So my
question was whether what he was describing was simply an *idea* of a method or
something that actually exists. (02)
-chris (03)
_________________________________________________________________
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 (04)
|