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