Scalable nonmonotonic reasoning over RDF data using MapReduceIlias TachmazidisGrigoris Antoniouet al.2012ISWC 2012