EasyChair Smart Slide
A Minimal Deductive System for RDFS with Negative Statements
A Minimal Deductive System for RDFS with Negative Statements