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

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

Ontology(

ClassAssertion(

ObjectComplementOf(

ObjectSomeValuesFrom( owl:topObjectProperty owl:Thing )

)

:i

)

)