I think of recursion as a particular approach for the duplicated
identifier problem. (01)
So the identifier ancestorOf is recursive in this equation: (02)
fatherOf(x,z) AND ancestorOf(z,y) IMPLIES ancestorOf(x,y) (03)
in writing out this equation, I recognize that ancestor might be seen
as a category
or relation for various entities referenced by the variables: x,y,z (04)
Is this what you were thinking ? (05)
David (06)
On Tue, Jan 6, 2015 at 12:25 PM, Juan Sequeda <jsequeda@xxxxxxxxxxxxx> wrote:
> Add views and recursion, SQL databases start looking more like a KB.
>
> Juan Sequeda
> Department of Computer Science
> University of Texas at Austin
> http://www.cs.utexas.edu/~jsequeda
>
> On Tue, Jan 6, 2015 at 12:07 PM, David Whitten <whitten@xxxxxxxxxx> wrote:
>>
>> In my mind, one of the big differences between a database (db) and a
>> knowledge base (kb):
>>
>> a databases store information, and may actually include calculated
>> information that is dependent on the stored information. Basically, a
>> storage facility for known facts.
>>
>> a knowledge base includes all that is in a database but also includes
>> the activity of inference from information, and has a far more
>> sophisticated model of hierarchical categories of information. A
>> knowledge base also includes all the standard First Order Predicate
>> Calculus operations: AND OR NOT FORALL THEREEXISTS as well. Knowledge
>> bases handle infinite groups of facts as it were.
>>
>> Does anyone have something to add to this?
>>
>> Dave Whitten
>> 713-870-3834
>>
>>
>> On Tue, Jan 6, 2015 at 11:33 AM, Alexander Garcia Castro
>> <alexgarciac@xxxxxxxxx> wrote:
>> > Hi all, I am having some troubles explaining the difference between a DB
>> > and
>> > a knowledge base, can someone let me know the difference?
>> >
>> > --
>> > Alexander Garcia
>> > http://www.alexandergarcia.name/
>> > http://www.usefilm.com/photographer/75943.html
>> > http://www.linkedin.com/in/alexgarciac
>> >
>> >
>> >
>> > _________________________________________________________________
>> > 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
>> >
>>
>> _________________________________________________________________
>> 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
>>
>
>
>
> _________________________________________________________________
> 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
> (07)
_________________________________________________________________
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 (08)
|