PPT Slide

Replace all anonNodes in a document E by urirefs from a set V (disjoin t from vocab(E))

Call this sk(E). Then

1. sk(E) entails E (obviously)

2. E probably doesn’t entail sk(E)

Skolemization