Using Description Logics for RDF Constraint Checking and Closed-World Recognition