;; Ontology 'source' in functional syntax

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

;; Ontology 'source' parsed

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

;; 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/>
  <owl:AllDifferent>
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://example.com/a"/>
      <rdf:Description rdf:about="http://example.com/b"/>
      <rdf:Description rdf:about="http://example.com/c"/>
    </owl:members>
  </owl:AllDifferent>
</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> . 
_:b2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AllDifferent> . 
_:b3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://example.com/a> . 
_:b4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://example.com/b> . 
_:b5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://example.com/c> . 
_:b5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:b4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b5 . 
_:b3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b4 . 
_:b2 <http://www.w3.org/2002/07/owl#members> _:b3 .