RDF Inference

• What is a KR with out licenced and encouraged inferences?

  • Not much of one!
  • See: What is a Knowledge Representation?
    • http://medg.lcs.mit.edu/ftp/psz/k-rep.html

• Not a lot in RDF alone

  • The predicate rdf:type is special
  • Bnodes are significant (instance lemma)
  • Simple entailment: S entails E iff some subgraph(S) is an instance of E
  • Few other things

Notes: