Inference rules for RDF(S) and OWL in N3Logic
Programming in Prolog