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

Ontology(

Declaration( Class( :Girl ) )

Declaration( Class( :Dog ) )

ClassAssertion( ObjectComplementOf( :Girl ) :Stewie )

ClassAssertion( ObjectComplementOf( :Dog ) :Stewie )

)