R1 CreateKB response is KB
name(/ResponseMessage[1]/*[1]) = 'KB'

R1: CreateKB response KB is named correctly
count(/ResponseMessage[1]/*[1][@kb='http://www.owllink.org/examples/families']) = 1

R2: LoadOntologies response OK
name(/ResponseMessage[1]/*[2]) = 'OK'

R3: GetInstances response is a SetOfIndividualSynsets element
name(/ResponseMessage[1]/*[3]) = 'SetOfIndividualSynsets'

R3: SetOfIndividualSynsets contains three IndividualSynsets
count(/ResponseMessage[1]/*[3]/IndividualSynset)=3

R3: One IndividualSynset contains only Jack
count(/ResponseMessage[1]/*[3]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Jack' or @IRI='http://example.com/owl/families/Jack' or @IRI='Jack']/..)=1

R3: One IndividualSynsets contains only John and JohnBrown
count(/ResponseMessage[1]/*[3]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John' or @IRI='John']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown' or @IRI='JohnBrown']/..)=1

R3: One IndividualSynsets contains only Mary and MaryBrown
count(/ResponseMessage[1]/*[3]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary' or @IRI='Mary']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown' or @IRI='MaryBrown']/..)=1

R4: GetTypes response is a ClassSynsets element
name(/ResponseMessage[1]/*[4]) = 'ClassSynsets'

R4: ClassSynsets element contains six ClassSynsets
count(/ResponseMessage[1]/*[4]/ClassSynset)=6

R4: One ClassSynset contains only Father
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:Father' or @IRI='http://example.com/owl/families/Father' or @IRI='Father']/..)=1

R4: One ClassSynset contains only Man
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:Man' or @IRI='http://example.com/owl/families/Man' or @IRI='Man']/..)=1

R4: One ClassSynset contains only Parent
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:Parent' or @IRI='http://example.com/owl/families/Parent' or @IRI='Parent']/..)=1

R4: One ClassSynset contains only MyBirthdayGuests
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:MyBirthdayGuests' or @IRI='http://example.com/owl/families/MyBirthdayGuests' or @IRI='MyBirthdayGuests']/..)=1

R4: One ClassSynset contains only Human and Person
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:Human' or @IRI='http://example.com/owl/families/Human' or @IRI='Human']/../owl:Class[@abbreviatedIRI='families:Person' or @IRI='http://example.com/owl/families/Person' or @IRI='Person']/..)=1

R4: One ClassSynset contains only Thing
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Thing' or @IRI='http://www.w3.org/2002/07/owl#Thing']/..)=1

R5: Tell response OK
name(/ResponseMessage[1]/*[5]) = 'OK'

R6: GetSuperClasses response is a SetOfClassSynsets element
name(/ResponseMessage[1]/*[6]) = 'SetOfClassSynsets'

R6: SetOfClassSynsets element contains four ClassSynsets
count(/ResponseMessage[1]/*[6]/ClassSynset)=4

R6: One ClassSynset contains only HappyPerson
count(/ResponseMessage[1]/*[6]/ClassSynset/owl:Class[@abbreviatedIRI='families:HappyPerson' or @IRI='http://example.com/owl/families/HappyPerson' or @IRI='HappyPerson']/..)=1

R6: One ClassSynset contains only Parent
count(/ResponseMessage[1]/*[6]/ClassSynset/owl:Class[@abbreviatedIRI='families:Parent' or @IRI='http://example.com/owl/families/Parent' or @IRI='Parent']/..)=1

R6: One ClassSynset contains only Thing
count(/ResponseMessage[1]/*[6]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Thing' or @IRI='http://www.w3.org/2002/07/owl#Thing']/..)=1

R6: One ClassSynset contains only Human and Person
count(/ResponseMessage[1]/*[6]/ClassSynset/owl:Class[@abbreviatedIRI='families:Human' or @IRI='http://example.com/owl/families/Human' or @IRI='Human']/../owl:Class[@abbreviatedIRI='families:Person' or @IRI='http://example.com/owl/families/Person' or @IRI='Person']/..)=1

R7: GetObjectPropertySources response is a SetOfIndividualSynsets element
name(/ResponseMessage[1]/*[7]) = 'SetOfIndividualSynsets'

R7: SetOfIndividualSynsets contains one IndividualSynset
count(/ResponseMessage[1]/*[7]/IndividualSynset)=1

R7: This IndividualSynset contains two NamedIndividuals
count(/ResponseMessage[1]/*[7]/IndividualSynset[1]/owl:NamedIndividual)=2

R7: One IndividualSynsets contains only John and JohnBrown
count(/ResponseMessage[1]/*[7]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John' or @IRI='John']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown' or @IRI='JohnBrown']/..)=1

R8: ReleaseKB response OK
name(/ResponseMessage[1]/*[8]) = 'OK'