R1: CreateKB response KB
name(/ResponseMessage[1]/*[1]) = 'KB' and count(/ResponseMessage[1]/*[1][@kb='http://www.owllink.org/ont/families']) = 1

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

R3: GetTypes response is ClassSynsets containing 2 ClassSynset elements
count(/ResponseMessage[1]/*[3]/ClassSynset)=2 and name(/ResponseMessage[1]/*[3])='ClassSynsets'

R3: Both ClassSynset elements contain exactly one owl:Class element
count(/ResponseMessage[1]/*[3]/ClassSynset[1]/owl:Class)=1 and count(/ResponseMessage[1]/*[3]/ClassSynset[2]/owl:Class)=1

R3: One owl:Class element is families:Father
count(/ResponseMessage[1]/*[3]/ClassSynset/owl:Class[@abbreviatedIRI='families:Father' or @IRI='http://example.com/owl/families/Father'])=1

R3: One owl:Class element is families:MyBirthdayGuests
count(/ResponseMessage[1]/*[3]/ClassSynset/owl:Class[@abbreviatedIRI='families:MyBirthdayGuests' or @IRI='http://example.com/owl/families/MyBirthdayGuests'])=1

R4: GetFlattenedTypes response is Classes containing 7 owl:Class elements
count(/ResponseMessage[1]/*[4]/owl:Class)=7 and name(/ResponseMessage[1]/*[4])='Classes'

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

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

R4: One owl:Class element is families:Human
count(/ResponseMessage[1]/*[4]/owl:Class[@abbreviatedIRI='families:Human' or @IRI='http://example.com/owl/families/Human'])=1

R4: One owl:Class element is families:Person
count(/ResponseMessage[1]/*[4]/owl:Class[@abbreviatedIRI='families:Person' or @IRI='http://example.com/owl/families/Person'])=1

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

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

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

R5: GetDifferentIndividuals response is SetOfIndividualSynsets containing 3 IndividualSynset elements
count(/ResponseMessage[1]/*[5]/IndividualSynset)=3 and name(/ResponseMessage[1]/*[5])='SetOfIndividualSynsets' or count(/ResponseMessage[1]/*[position()=5 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R5: One InvidualSynset contains the two owl:NamedIndividual elements families:Mary and otherOnt:MaryBrown
count(/ResponseMessage[1]/*[5]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1 or count(/ResponseMessage[1]/*[position()=5 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R5: One InvidualSynset contains the owl:NamedIndividual element families:Jack
count(/ResponseMessage[1]/*[5]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Jack' or @IRI='http://example.com/owl/families/Jack'])=1 or count(/ResponseMessage[1]/*[position()=5 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R5: One InvidualSynset contains the owl:NamedIndividual element families:Bill
count(/ResponseMessage[1]/*[5]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Bill' or @IRI='http://example.com/owl/families/Bill'])=1 or count(/ResponseMessage[1]/*[position()=5 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: GetFlattenedDifferentIndividuals response is SetOfIndividuals containing 4 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[6]/owl:NamedIndividual)=4 and name(/ResponseMessage[1]/*[6])='SetOfIndividuals' or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: One owl:NamedIndividual element is families:Mary
count(/ResponseMessage[1]/*[6]/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary'])=1 or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: One owl:NamedIndividual element is families:MaryBrown
count(/ResponseMessage[1]/*[6]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1 or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: One owl:NamedIndividual element is families:Jack
count(/ResponseMessage[1]/*[6]/owl:NamedIndividual[@abbreviatedIRI='families:Jack' or @IRI='http://example.com/owl/families/Jack'])=1 or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: One owl:NamedIndividual element is families:Bill
count(/ResponseMessage[1]/*[6]/owl:NamedIndividual[@abbreviatedIRI='families:Bill' or @IRI='http://example.com/owl/families/Bill'])=1 or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: GetSameIndividuals response is IndividualSynonyms containing 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[7]/owl:NamedIndividual)=2 and name(/ResponseMessage[1]/*[7])='IndividualSynonyms' or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: One owl:NamedIndividual element is families:John
count(/ResponseMessage[1]/*[7]/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1 or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: One owl:NamedIndividual element is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[7]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1 or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R8: GetObjectPropertiesOfSource response is SetOfObjectPropertySynsets containing 4 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset)=4 and name(/ResponseMessage[1]/*[8])='SetOfObjectPropertySynsets'

R8: Each ObjectPropertySynset contains exactly one element
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset[1]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[8]/ObjectPropertySynset[2]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[8]/ObjectPropertySynset[3]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[8]/ObjectPropertySynset[4]/owl:ObjectProperty)=1

R8: One ObjectPropertySynset contains one owl:ObjectProperty element owl:topObjectProperty
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty'])=1

R8: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasSpouse
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse'])=1

R8: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasRelative
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasRelative' or @IRI='http://example.com/owl/families/hasRelative'])=1

R8: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasWife
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife'])=1

R9: GetObjectPropertiesOfSource negative=true response is SetOfObjectPropertySynsets containing 6 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset)=6 and name(/ResponseMessage[1]/*[9])='SetOfObjectPropertySynsets' or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R9: One ObjectPropertySynset contains one owl:ObjectProperty element owl:bottomObjectProperty
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty']/../*)=1 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R9: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasWife
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife']/../*)=1 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R9: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasParent
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasParent' or @IRI='http://example.com/owl/families/hasParent']/../*)=1 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R9: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasFather
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasFather' or @IRI='http://example.com/owl/families/hasFather']/../*)=1 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R9: One ObjectPropertySynset contains one owl:ObjectProperty element families:parentOf
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:parentOf' or @IRI='http://example.com/owl/families/parentOf']/../*)=1 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R9: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasChild and otherOnt:child
count(/ResponseMessage[1]/*[9]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasChild' or @IRI='http://example.com/owl/families/hasChild']/../owl:ObjectProperty[@abbreviatedIRI='otherOnt:child' or @IRI='http://example.org/otherOntologies/families/child']/../*)=2 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R10: GetObjectPropertiesBetween response is SetOfObjectPropertySynsets containing 3 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[10]/ObjectPropertySynset)=3 and name(/ResponseMessage[1]/*[10])='SetOfObjectPropertySynsets'

R10: Each ObjectPropertySynset contains exactly one element
count(/ResponseMessage[1]/*[10]/ObjectPropertySynset[1]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[10]/ObjectPropertySynset[2]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[10]/ObjectPropertySynset[3]/owl:ObjectProperty)=1

R10: One ObjectPropertySynset contains one owl:ObjectProperty element owl:topObjectProperty
count(/ResponseMessage[1]/*[10]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty'])=1

R10: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasSpouse
count(/ResponseMessage[1]/*[10]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse'])=1

R10: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasWife
count(/ResponseMessage[1]/*[10]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife'])=1

R11: GetObjectPropertiesBetween negative=true response is SetOfObjectPropertySynsets containing 3 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[11]/ObjectPropertySynset)=4 and name(/ResponseMessage[1]/*[11])='SetOfObjectPropertySynsets' or count(/ResponseMessage[1]/*[position()=11 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R11: The one ObjectPropertySynset contains exactly one owl:ObjectProperty element owl:bottomObjectProperty
count(/ResponseMessage[1]/*[11]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty']/../*)=1 or count(/ResponseMessage[1]/*[position()=11 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R11: The one ObjectPropertySynset contains exactly one owl:ObjectProperty element families:hasFather
count(/ResponseMessage[1]/*[11]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasFather' or @IRI='http://example.com/owl/families/hasFather']/../*)=1 or count(/ResponseMessage[1]/*[position()=11 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R11: The one ObjectPropertySynset contains exactly one owl:ObjectProperty element families:hasParent
count(/ResponseMessage[1]/*[11]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasParent' or @IRI='http://example.com/owl/families/hasParent']/../*)=1 or count(/ResponseMessage[1]/*[position()=11 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R11: The one ObjectPropertySynset contains exactly one owl:ObjectProperty element families:hasChild and otherOnt:child
count(/ResponseMessage[1]/*[11]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasChild' or @IRI='http://example.com/owl/families/hasChild']/../owl:ObjectProperty[@abbreviatedIRI='otherOnt:child' or @IRI='http://example.org/otherOntologies/families/child']/../*)=2 or count(/ResponseMessage[1]/*[position()=11 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R12: GetObjectPropertiesOfTarget response is SetOfObjectPropertySynsets containing 4 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[12]/ObjectPropertySynset)=4 and name(/ResponseMessage[1]/*[12])='SetOfObjectPropertySynsets'

R12: Each ObjectPropertySynset contains exactly one element
count(/ResponseMessage[1]/*[12]/ObjectPropertySynset[1]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[12]/ObjectPropertySynset[2]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[12]/ObjectPropertySynset[3]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[12]/ObjectPropertySynset[4]/owl:ObjectProperty)=1

R12: One ObjectPropertySynset contains one owl:ObjectProperty element owl:topObjectProperty
count(/ResponseMessage[1]/*[12]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty'])=1

R12: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasRelative
count(/ResponseMessage[1]/*[12]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasRelative' or @IRI='http://example.com/owl/families/hasRelative'])=1

R12: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasWife
count(/ResponseMessage[1]/*[12]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife'])=1

R12: One ObjectPropertySynset contains one owl:ObjectProperty element families:hasSpouse
count(/ResponseMessage[1]/*[12]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse'])=1

R13: GetObjectPropertiesOfTarget negative=true response is SetOfObjectPropertySynsets containing 6 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset)=6 and name(/ResponseMessage[1]/*[13])='SetOfObjectPropertySynsets' or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One ObjectPropertySynset contains just one owl:ObjectProperty element owl:bottomObjectProperty
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty']/../*)=1 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One ObjectPropertySynset contains just one owl:ObjectProperty element families:hasWife
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife']/../*)=1 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One ObjectPropertySynset contains just the owl:ObjectProperty elements families:hasChild and otherOnt:child
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasChild' or @IRI='http://example.com/owl/families/hasChild']/../owl:ObjectProperty[@abbreviatedIRI='otherOnt:child' or @IRI='http://example.org/otherOntologies/families/child']/../*)=2 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One ObjectPropertySynset contains just one owl:ObjectProperty element families:hasFather
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasFather' or @IRI='http://example.com/owl/families/hasFather']/../*)=1 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One ObjectPropertySynset contains just one owl:ObjectProperty element families:hasParent
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasParent' or @IRI='http://example.com/owl/families/hasParent']/../*)=1 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One ObjectPropertySynset contains just one owl:ObjectProperty element families:parentOf
count(/ResponseMessage[1]/*[13]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:parentOf' or @IRI='http://example.com/owl/families/parentOf']/../*)=1 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R14: GetDataPropertiesOfSource response is SetOfDataPropertySynsets containing 2 DataPropertySynset elements
count(/ResponseMessage[1]/*[14]/DataPropertySynset)=2 and name(/ResponseMessage[1]/*[14])='SetOfDataPropertySynsets'

R14: One DataPropertySynsets contains three owl:DataProperty elements
count(/ResponseMessage[1]/*[14]/DataPropertySynset/owl:DataProperty)=3

R14: One DataPropertySynset contains owl:topDataProperty owl:DataProperty element
count(/ResponseMessage[1]/*[14]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:topDataProperty' or @IRI='http://www.w3.org/2002/07/owl#topDataProperty'])=1

R14: One DataPropertySynset contains families:hasAge and otherOnt:age owl:DataProperty elements
count(/ResponseMessage[1]/*[14]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age'])=1


R15: GetDataPropertiesOfSource negative=true response is SetOfDataPropertySynsets containing 2 DataPropertySynset elements
count(/ResponseMessage[1]/*[15]/DataPropertySynset)=2 and name(/ResponseMessage[1]/*[15])='SetOfDataPropertySynsets' or count(/ResponseMessage[1]/*[position()=15 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R15: One DataPropertySynset contains families:hasAge and otherOnt:age owl:DataProperty elements
count(/ResponseMessage[1]/*[15]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age']/../*)=2 or count(/ResponseMessage[1]/*[position()=15 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R15: One DataPropertySynset contains one owl:DataProperty element owl:bottomDataProperty
count(/ResponseMessage[1]/*[15]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:bottomDataProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomDataProperty']/../*)=1 or count(/ResponseMessage[1]/*[position()=15 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R16: GetDataPropertiesBetween response is SetOfDataPropertySynsets containing 2 DataPropertySynset elements
count(/ResponseMessage[1]/*[16]/DataPropertySynset)=2 and name(/ResponseMessage[1]/*[16])='SetOfDataPropertySynsets'

R16: One DataPropertySynset contains families:hasAge and otherOnt:age owl:DataProperty elements
count(/ResponseMessage[1]/*[16]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age'])=1

R17: GetDataPropertiesBetween negative=true response is SetOfDataPropertySynsets containing 2 DataPropertySynset elements
count(/ResponseMessage[1]/*[17]/DataPropertySynset)=2 and name(/ResponseMessage[1]/*[17])='SetOfDataPropertySynsets' or count(/ResponseMessage[1]/*[position()=17 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R17: The one DataPropertySynset contains exactly one owl:DataProperty element owl:bottomDataProperty
count(/ResponseMessage[1]/*[17]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:bottomDataProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomDataProperty']/../*)=1 or count(/ResponseMessage[1]/*[position()=17 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R17: The one DataPropertySynset contains just families:hasAge and otherOnt:age owl:DataProperty elements
count(/ResponseMessage[1]/*[17]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age']/../*)=2 or count(/ResponseMessage[1]/*[position()=17 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R18: GetDataPropertiesOfLiteral response is SetOfDataPropertySynsets containing 2 DataPropertySynset elements
count(/ResponseMessage[1]/*[18]/DataPropertySynset)=2 and name(/ResponseMessage[1]/*[18])='SetOfDataPropertySynsets'

R18: One DataPropertySynset contains families:hasAge and otherOnt:age owl:DataProperty elements
count(/ResponseMessage[1]/*[18]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age'])=1

R19: GetDataPropertiesOfLiteral negative=true response is SetOfDataPropertySynsets containing 1 DataPropertySynset elements
count(/ResponseMessage[1]/*[19]/DataPropertySynset)=2 and name(/ResponseMessage[1]/*[19])='SetOfDataPropertySynsets' or count(/ResponseMessage[1]/*[position()=19 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R19: The one DataPropertySynset contains exactly one owl:DataProperty element owl:bottomDataProperty
count(/ResponseMessage[1]/*[19]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:bottomDataProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomDataProperty']/../*)=1 or count(/ResponseMessage[1]/*[position()=19 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R19: The one DataPropertySynset contains just families:hasAge and otherOnt:age owl:DataProperty elements
count(/ResponseMessage[1]/*[19]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age']/../*)=2 or count(/ResponseMessage[1]/*[position()=19 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R20: GetInstances response is SetOfIndividualSynsets containing 1 IndividualSynset elements
count(/ResponseMessage[1]/*[20]/IndividualSynset)=1 and name(/ResponseMessage[1]/*[20])='SetOfIndividualSynsets'

R20: The IndividualSynset contains 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[20]/IndividualSynset/owl:NamedIndividual)=2

R20: One owl:NamedIndividual is families:Mary
count(/ResponseMessage[1]/*[20]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary'])=1

R20: One owl:NamedIndividual is otherOnt:MaryBrown
count(/ResponseMessage[1]/*[20]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1

R21: GetObjectPropertyTargets response is SetOfIndividualSynsets containing 1 IndividualSynset elements
count(/ResponseMessage[1]/*[21]/IndividualSynset)=1 and name(/ResponseMessage[1]/*[21])='SetOfIndividualSynsets'

R21: The IndividualSynset contains 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[21]/IndividualSynset/owl:NamedIndividual)=2

R21: One owl:NamedIndividual is families:Mary
count(/ResponseMessage[1]/*[21]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary'])=1

R21: One owl:NamedIndividual is otherOnt:MaryBrown
count(/ResponseMessage[1]/*[21]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1

R22: GetObjectPropertyTargets negative=true response is SetOfIndividualSynsets containing 1 IndividualSynset elements
count(/ResponseMessage[1]/*[22]/IndividualSynset)=1 and name(/ResponseMessage[1]/*[22])='SetOfIndividualSynsets' or count(/ResponseMessage[1]/*[position()=22 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R22: One owl:NamedIndividual is families:John
count(/ResponseMessage[1]/*[22]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1 or count(/ResponseMessage[1]/*[position()=22 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R22: One owl:NamedIndividual is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[22]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1 or count(/ResponseMessage[1]/*[position()=22 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R23: GetObjectPropertySources response is SetOfIndividualSynsets containing 1 IndividualSynset elements
count(/ResponseMessage[1]/*[23]/IndividualSynset)=1 and name(/ResponseMessage[1]/*[23])='SetOfIndividualSynsets' or count(/ResponseMessage[1]/*[position()=23 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R23: One owl:NamedIndividual is families:John
count(/ResponseMessage[1]/*[23]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1 or count(/ResponseMessage[1]/*[position()=23 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R23: One owl:NamedIndividual is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[23]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1 or count(/ResponseMessage[1]/*[position()=23 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R24: GetObjectPropertySources negative=true response is SetOfIndividualSynsets containing 2 IndividualSynset elements
count(/ResponseMessage[1]/*[24]/IndividualSynset)=2 and name(/ResponseMessage[1]/*[24])='SetOfIndividualSynsets' or count(/ResponseMessage[1]/*[position()=24 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R24: One IndividualSynsets contains three owl:NamedIndividual elements
count(/ResponseMessage[1]/*[24]/IndividualSynset/owl:NamedIndividual)=3 or count(/ResponseMessage[1]/*[position()=24 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R24: One IndividualSynset contains families:Bill owl:NamedIndividual element
count(/ResponseMessage[1]/*[24]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Bill' or @IRI='http://example.com/owl/families/Bill'])=1 or count(/ResponseMessage[1]/*[position()=24 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R24: One IndividualSynset contains families:Mary and otherOnt:MaryBrown owl:NamedIndividual elements
count(/ResponseMessage[1]/*[24]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1 or count(/ResponseMessage[1]/*[position()=24 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R25: GetFlattenedInstances response is SetOfIndividuals containing 5 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[25]/owl:NamedIndividual)=5 and name(/ResponseMessage[1]/*[25])='SetOfIndividuals'

R25: One owl:NamedIndividual is families:John
count(/ResponseMessage[1]/*[25]/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1

R25: One owl:NamedIndividual is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[25]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1

R25: One owl:NamedIndividual is families:Mary
count(/ResponseMessage[1]/*[25]/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary'])=1

R25: One owl:NamedIndividual is otherOnt:MaryBrown
count(/ResponseMessage[1]/*[25]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1

R25: One owl:NamedIndividual is families:Jack
count(/ResponseMessage[1]/*[25]/owl:NamedIndividual[@abbreviatedIRI='families:Jack' or @IRI='http://example.com/owl/families/Jack'])=1

R26: GetFlattenedInstances negative=true response is SetOfIndividuals containing 0 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[26]/owl:NamedIndividual)=0 and name(/ResponseMessage[1]/*[26])='SetOfIndividuals'

R27: GetFlattenedObjectPropertyTargets negative=true response is SetOfIndividuals containing 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[27]/owl:NamedIndividual)=2 and name(/ResponseMessage[1]/*[27])='SetOfIndividuals'

R27: One owl:NamedIndividual is families:Mary
count(/ResponseMessage[1]/*[27]/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary'])=1

R27: One owl:NamedIndividual is otherOnt:MaryBrown
count(/ResponseMessage[1]/*[27]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1

R28: GetFlattenedObjectPropertyTargets negative=true response is SetOfIndividuals containing 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[28]/owl:NamedIndividual)=2 and name(/ResponseMessage[1]/*[28])='SetOfIndividuals' or count(/ResponseMessage[1]/*[position()=28 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R28: One owl:NamedIndividual is families:John
count(/ResponseMessage[1]/*[28]/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1 or count(/ResponseMessage[1]/*[position()=28 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R28: One owl:NamedIndividual is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[28]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1 or count(/ResponseMessage[1]/*[position()=28 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R29: GetFlattenedObjectPropertySources response is SetOfIndividuals containing 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[29]/owl:NamedIndividual)=2 and name(/ResponseMessage[1]/*[29])='SetOfIndividuals' or count(/ResponseMessage[1]/*[position()=29 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R29: One owl:NamedIndividual is families:John
count(/ResponseMessage[1]/*[29]/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1 or count(/ResponseMessage[1]/*[position()=29 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R29: One owl:NamedIndividual is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[29]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1 or count(/ResponseMessage[1]/*[position()=29 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R30: GetFlattenedObjectPropertySources negative=true response is SetOfIndividuals containing 3 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[30]/owl:NamedIndividual)=3 and name(/ResponseMessage[1]/*[30])='SetOfIndividuals' or count(/ResponseMessage[1]/*[position()=30 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R30: One owl:NamedIndividual is families:Mary
count(/ResponseMessage[1]/*[30]/owl:NamedIndividual[@abbreviatedIRI='families:Mary' or @IRI='http://example.com/owl/families/Mary'])=1 or count(/ResponseMessage[1]/*[position()=30 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R30: One owl:NamedIndividual is otherOnt:MaryBrown
count(/ResponseMessage[1]/*[30]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:MaryBrown' or @IRI='http://example.org/otherOntologies/families/MaryBrown'])=1 or count(/ResponseMessage[1]/*[position()=30 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R30: One owl:NamedIndividual is families:Bill
count(/ResponseMessage[1]/*[30]/owl:NamedIndividual[@abbreviatedIRI='families:Bill' or @IRI='http://example.com/owl/families/Bill'])=1 or count(/ResponseMessage[1]/*[position()=30 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R31: GetDataPropertyTargets response is SetOfLiterals containing 1 owl:Literal elements
count(/ResponseMessage[1]/*[31]/owl:Literal)=1 and name(/ResponseMessage[1]/*[31])='SetOfLiterals'

R31: owl:Literal is xsd:integer with value 51
/ResponseMessage[1]/*[31]/owl:Literal[@datatypeIRI="xsd:integer" or @datatypeIRI="http://www.w3.org/2001/XMLSchema#integer"] = 51

R32: GetDataPropertySources response is SetOfIndividualSynsets containing 1 IndividualSynset elements
count(/ResponseMessage[1]/*[32]/IndividualSynset)=1 and name(/ResponseMessage[1]/*[32])='SetOfIndividualSynsets'

R32: The one IndividualSynset contains two owl:NamedIndividual elements
count(/ResponseMessage[1]/*[32]/IndividualSynset/owl:NamedIndividual)=2

R32: One IndividualSynset contains families:John owl:NamedIndividual element
count(/ResponseMessage[1]/*[32]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1

R32: One IndividualSynset contains otherOnt:JohnBrown owl:NamedIndividual element
count(/ResponseMessage[1]/*[32]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1

R33: GetDataPropertySources negative=true response is SetOfIndividualSynsets containing 2 IndividualSynset elements
count(/ResponseMessage[1]/*[33]/IndividualSynset)=2 and name(/ResponseMessage[1]/*[33])='SetOfIndividualSynsets' or count(/ResponseMessage[1]/*[position()=33 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R33: One IndividualSynset contains just the owl:NamedIndividual elements families:John and otherOnt:JohnBrown
count(/ResponseMessage[1]/*[33]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/']/../*)=2 or count(/ResponseMessage[1]/*[position()=33 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R33: One IndividualSynset contains just the owl:NamedIndividual element families:Jack
count(/ResponseMessage[1]/*[33]/IndividualSynset/owl:NamedIndividual[@abbreviatedIRI='families:Jack' or @IRI='http://example.com/owl/families/Jack']/../*)=1 or count(/ResponseMessage[1]/*[position()=33 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R34: GetFlattenedDataPropertySources response is SetOfIndividuals containing 2 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[34]/owl:NamedIndividual)=2 and name(/ResponseMessage[1]/*[34])='SetOfIndividuals'

R34: One owl:NamedIndividual is families:John
count(/ResponseMessage[1]/*[34]/owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John'])=1

R34: One owl:NamedIndividual is otherOnt:JohnBrown
count(/ResponseMessage[1]/*[34]/owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown'])=1

R35: GetFlattenedDataPropertySources negative=true response is SetOfIndividuals containing 3 owl:NamedIndividual elements
count(/ResponseMessage[1]/*[35]/owl:NamedIndividual)=3 and name(/ResponseMessage[1]/*[35])='SetOfIndividuals' or count(/ResponseMessage[1]/*[position()=35 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R35: One SetOfIndividuals contains just the owl:NamedIndividual elements families:Jack, familes:Johan and otherOnt:JohnBrown
count(/ResponseMessage[1]/*[35]/owl:NamedIndividual[@abbreviatedIRI='families:Jack' or @IRI='http://example.com/owl/families/Jack']/../owl:NamedIndividual[@abbreviatedIRI='families:John' or @IRI='http://example.com/owl/families/John']/../owl:NamedIndividual[@abbreviatedIRI='otherOnt:JohnBrown' or @IRI='http://example.org/otherOntologies/families/JohnBrown']/../*)=3 or count(/ResponseMessage[1]/*[position()=35 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R36: ReleaseKB response OK
name(/ResponseMessage[1]/*[36]) = 'OK'