Class with inverse property

Ontology(<http://nomagic.com/ontology/example-case/case-24>
            Declaration(
                        ObjectProperty(:manufacturedBy)
            )
            ObjectPropertyDomain(:manufacturedBy :VideoGameConsole)
            ObjectPropertyRange(:manufacturedBy :VideoGameCompany)
            Declaration(
                        ObjectProperty(:manufactures)
            )
            InverseObjectProperties(:manufacturedBy :manufactures)
            ObjectPropertyDomain(:manufactures :VideoGameCompany)
            ObjectPropertyRange(:manufactures :VideoGameConsole)
            Declaration(
                        Class(:VideoGameCompany)
            )
            Declaration(
                        Class(:VideoGameConsole)
            )
            SubClassOf(
                        :VideoGameConsole
                        ObjectIntersectionOf(
                                    ObjectMaxCardinality(1 :manufacturedBy :VideoGameCompany)
                                    ObjectMinCardinality(1 :manufacturedBy :VideoGameCompany)
                        )
            )
            AnnotationAssertion(rdfs:label :VideoGameCompany "Video Game Company"@en)
            AnnotationAssertion(rdfs:label :VideoGameConsole "Video Game Console"@en)
            AnnotationAssertion(rdfs:label :manufacturedBy "manufactured by"@en)
            AnnotationAssertion(rdfs:label :manufactures "manufactures"@en)
)