Sorry, that should be "well-founded semantics", not well-formed semantics
(which we hope all are): http://en.wikipedia.org/wiki/Well-founded_semantics,
which actually provides a 3-valued version of stable-model semantics:
http://en.wikipedia.org/wiki/Stable_model_semantics. (01)
>-----Original Message-----
>From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
>bounces@xxxxxxxxxxxxxxxx] On Behalf Of Obrst, Leo J.
>Sent: Saturday, January 19, 2013 5:32 PM
>To: [ontolog-forum]
>Subject: Re: [ontolog-forum] Knowledge graphs by Google and Facebook
>
>Relational databases are nearly always under the closed world assumption.
>There may be exceptions, but they are few. Similarly, logic programming in
>general is under closed world assumption, though there are variants (well-
>formed semantics) and answer set programming (which can have negation
>operators under both CWA and OWA).
>
>Thanks,
>Leo
>
>>-----Original Message-----
>>From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
>>bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
>>Sent: Saturday, January 19, 2013 3:45 PM
>>To: [ontolog-forum]
>>Subject: Re: [ontolog-forum] Knowledge graphs by Google and Facebook
>...
>>
>>SQL and SPARQL can be used for either open world or closed world
>>databases. It is true that nearly all the stuff on the WWW is open
>>world, but many, if not most relational DBs are also open world.
>>
>
>
>
>
>
>___________________________________________________________
>______
>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
> (02)
_________________________________________________________________
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 (03)
|