@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix : <foo://bla#> .
:john a :Person.
[ rdf:type owl:NegativePropertyAssertion;
  owl:sourceIndividual :john;
  owl:assertionProperty :lives;
  owl:targetIndividual :germany].
:German owl:equivalentClass [ a owl:Restriction;
  owl:onProperty :lives; owl:hasValue :germany ].
:NonGerman owl:complementOf :German.