Prefix( owl: = <http://www.w3.org/2002/07/owl#> )

Prefix( : = <http://example.org/> )

Ontology(

ClassAssertion(

ObjectSomeValuesFrom( owl:bottomObjectProperty owl:Thing )

:i

)

)