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