<rdf:RDF

xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"

xmlns:owl="http://www.w3.org/2002/07/owl#"

xmlns:first="http://www.w3.org/2002/03owlt/AllDifferent/premises001#"

xml:base="http://www.w3.org/2002/03owlt/AllDifferent/conclusions001" >

<rdf:Description rdf:about="premises001#Barney">

<owl:differentFrom rdf:resource="premises001#Fred"/>

</rdf:Description>

</rdf:RDF>