Prefix( owl: = <http://www.w3.org/2002/07/owl#> )

Prefix( : = <http://example.org/> )

Ontology(

Declaration( DataProperty( :hasSSN ) )

HasKey( owl:Thing () ( :hasSSN ) )

DataPropertyAssertion( :hasSSN :Peter "123-45-6789" )

DataPropertyAssertion( :hasSSN :Peter_Griffin "123-45-6789" )

DifferentIndividuals( :Peter :Peter_Griffin )

)