;; Ontology 'source' in functional syntax

 Prefix(: = <http://example.com/>)
 Ontology(
 DifferentIndividuals( :a :b ))

;; Ontology 'source' parsed

(ontology (:blank :ontology) (differentindividuals !ex:a !ex:b))

;; Ontology 'source' in rdf/xml

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:ex="http://example.org/"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
  <owl:Ontology/>
  <rdf:Description rdf:about="http://example.com/a">
    <owl:differentFrom rdf:resource="http://example.com/b"/>
  </rdf:Description>
</rdf:RDF>

;; Ontology 'source' as ntriples

_:b1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Ontology> . 
<http://example.com/a> <http://www.w3.org/2002/07/owl#differentFrom> <http://example.com/b> .