PPT Slide

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

Call this sk(E). Then

1. sk(E) entails E (obviously)

Skolemization

Previous slide

Next slide

Back to first slide

View graphic version