Patel-Schneider, P. Using Description Logics for RDF Constraint Checking and Closed-World Recognition. AAAI 2015, 29.