P. Patel-Schneider, “Using Description Logics for RDF Constraint Checking and Closed-World Recognition”, AAAI, vol. 29, no. 1, Feb. 2015.