| <!-- This document contains a simple contradiction. --> | |
| <rdf:RDF | |
| xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" | |
| xmlns:owl="http://www.w3.org/2002/07/owl#" | |
| xml:base="http://www.w3.org/2002/03owlt/false" > | |
| <rdf:Description rdf:ID="x"> | |
| <owl:differentFrom rdf:about="#x"/> | |
| </rdf:Description> | |
| </rdf:RDF> |