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

Ontology(

Declaration( Class( :Child ) )

Declaration( Class( :Boy ) )

Declaration( Class( :Girl ) )

DisjointUnion( :Child :Boy :Girl )

ClassAssertion( :Child :Stewie )

ClassAssertion( ObjectComplementOf( :Girl ) :Stewie )

)