News for hackers. Stuff that matters.

A comment on SWI-Prolog for the semantic web.

Re:SWI-Prolog for the semantic web by laurencerowe on Monday September 29, 2014 @01:03AM (#8381754)
How does the closed world assumption of Prolog (if it's not explicitly specified it is assumed false) mesh with the open world assumption (if it is not explicitly specified it is unknown) of RDF?
[ Parent | on HN ]
Re:SWI-Prolog for the semantic web by gioele on Monday September 29, 2014 @03:39AM (#8381986)
In all the practical applications I've seen of RDF or OWL, all the queries rely on some form of the closed-world assumption.
[ Parent | on HN ]
Re:SWI-Prolog for the semantic web by jrbn on Monday September 29, 2014 @04:13AM (#8382046)
OWA exists only on paper. Practically all implementations assume CWA.
[ Parent | on HN ]
Re:SWI-Prolog for the semantic web by kendallgclark on Monday September 29, 2014 @02:09PM (#8384200)
That's false. Several practical implementations of OWL and RDF are based on OWA. At least one is based on CWA and OWA.
[ Parent | on HN ]