TITLE     : A minimal deductive system for RDFS with negative statements
AUTHOR(S) : Straccia U, Casini G
TYPE      : Other
YEAR      : 2022
CODE      : 464653

*** DO NOT EDIT THIS FILE ***