Tuesday, November 22, 2011

11/17/11

Inference over logical databases (such as that represented by RDF) is analogous to theorem proving.

Andree
Posted by at