3 ms·
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 explicit
by laurencerowe 12y ago
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?
- gioele 12y agoIn all the practical applications I've seen of RDF or OWL, all the queries rely on some form of the closed-world assumption.
- jrbn 12y agoOWA exists only on paper. Practically all implementations assume CWA.
- kendallgclark 12y agoThat's false. Several practical implementations of OWL and RDF are based on OWA. At least one is based on CWA and OWA.