Turtle ---------------------------

 [ ]  rdf:type               owl:NegativePropertyAssertion ;
     owl:sourceIndividual   :Keanu_Reeves ;
     owl:assertionProperty  :hasWife ;
     owl:targetIndividual   :Carrie-Ann_Moss .

Sintassi RDF/XML ---------------------------

 <owl:NegativePropertyAssertion>
   <owl:sourceIndividual rdf:resource="Keanu_Reeves"/>
   <owl:assertionProperty rdf:resource="hasWife"/>
   <owl:targetIndividual rdf:resource="Carrie-Ann_Moss"/>
 </owl:NegativePropertyAssertion>

Sintassi OWL/XML ---------------------------

 <NegativeObjectPropertyAssertion>
   <ObjectProperty IRI="hasWife"/>
   <NamedIndividual IRI="Keanu_Reeves"/>
   <NamedIndividual IRI="Carrie-Ann_Moss"/>
 </NegativeObjectPropertyAssertion>

Sintassi Funzionale ---------------------------

 NegativeObjectPropertyAssertion( :hasWife :Keanu_Reeves :Carrie-Ann_Moss )

Manchester Syntax ---------------------------

 Individual: Keanu_Reeves
   Facts: not hasWife Carrie-Ann_Moss

