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

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

R2: CreateKB 2 response is KB
name(/ResponseMessage[1]/*[2]) = 'KB'

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

R3: Tell 1 response OK
name(/ResponseMessage[1]/*[3]) = 'OK'

R4: CreateKB 3 response is KB
name(/ResponseMessage[1]/*[4]) = 'KB'

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

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

R6: CreateKB 4 response is KB
name(/ResponseMessage[1]/*[6]) = 'KB'

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

R7: Tell 3 response OK
name(/ResponseMessage[1]/*[7]) = 'OK'

R8: GetSubClassHierarchy 1 response is ClassHierarchy elements
name(/ResponseMessage[1]/*[8]) = 'ClassHierarchy'

R8: GetSubClassHierarchy 1 response ClassHierarchy contains one ClassSynset
count(/ResponseMessage[1]/*[8]/ClassSynset)=1

R8: GetSubClassHierarchy 1 response ClassSynset contains one Class owl:Nothing
count(/ResponseMessage[1]/*[8]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Nothing' or @IRI='http://www.w3.org/2002/07/owl#Nothing'])=1

R8: GetSubClassHierarchy 1 response ClassSubClassesPair contains no SubClassSynsets
count(/ResponseMessage[1]/*[8]/ClassSubClassesPair/SubClassSynsets)=0

R9: GetSubClassHierarchy 2 response is ClassHierarchy element
name(/ResponseMessage[1]/*[9]) = 'ClassHierarchy'

R9: GetSubClassHierarchy 2 response ClassHierarchy contains one ClassSubClassesPair
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair)=1

R9: GetSubClassHierarchy 2 response ClassSubClassesPair contains one ClassSynset
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair/ClassSynset)=1

R9: GetSubClassHierarchy 2 response ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair/ClassSynset/owl:Class)=1

R9: GetSubClassHierarchy 2 response owl:Class is owl:Thing
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair/ClassSynset/owl:Class[@abbreviatedIRI='owl:Thing' or @IRI='http://www.w3.org/2002/07/owl#Thing'])=1

R9: GetSubClassHierarchy 2 response ClassSubClassesPair contains one SubClassSynsets
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair/SubClassSynsets)=1

R9: GetSubClassHierarchy 2 response SubClassSynsets contains one ClassSynset
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair/SubClassSynsets/ClassSynset)=1

R9: GetSubClassHierarchy 2 response owl:Class is A
count(/ResponseMessage[1]/*[9]/ClassSubClassesPair/SubClassSynsets/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#A' or @IRI='A'])=1

R9: GetSubClassHierarchy 2 response ClassHierarchy contains one ClassSynset
count(/ResponseMessage[1]/*[9]/ClassSynset)=1

R9: GetSubClassHierarchy 2 response ClassSynset contains one Class owl:Nothing
count(/ResponseMessage[1]/*[9]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Nothing' or @IRI='http://www.w3.org/2002/07/owl#Nothing'])=1

R10: GetSubClassHierarchy 3 response is ClassHierarchy element
name(/ResponseMessage[1]/*[10]) = 'ClassHierarchy'

R10: GetSubClassHierarchy 3 response ClassHierarchy contains two ClassSubClassesPairs
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair)=2

R10: GetSubClassHierarchy 3 response ClassSubClassesPair 1 contains one ClassSynset
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[1]/ClassSynset)=1

R10: GetSubClassHierarchy 3 response ClassSynset 1 contains one owl:Class
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[1]/ClassSynset/owl:Class)=1

R10: GetSubClassHierarchy 3 response owl:Class is owl:Thing
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[1]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Thing' or @IRI='http://www.w3.org/2002/07/owl#Thing'])=1

R10: GetSubClassHierarchy 3 response ClassSubClassesPair 1 contains one SubClassSynsets
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[1]/SubClassSynsets)=1

R10: GetSubClassHierarchy 3 response SubClassSynsets 1 contains one ClassSynset
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[1]/SubClassSynsets/ClassSynset)=1

R10: GetSubClassHierarchy 3 response owl:Class is A
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[1]/SubClassSynsets/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#A' or @IRI='A'])=1

R10: GetSubClassHierarchy 3 response ClassSubClassesPair 2 contains one ClassSynset
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/ClassSynset)=1

R10: GetSubClassHierarchy 3 response ClassSynset 2 contains one owl:Class
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/ClassSynset/owl:Class)=1

R10: GetSubClassHierarchy 3 response owl:Class is A
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#A' or @IRI='A'])=1

R10: GetSubClassHierarchy 3 response ClassSubClassesPair 2 contains one SubClassSynsets
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/SubClassSynsets)=1

R10: GetSubClassHierarchy 3 response SubClassSynsets 2 contains two ClassSynset
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/SubClassSynsets/ClassSynset)=2

R10: GetSubClassHierarchy 3 response SubClassSynsets 2 first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/SubClassSynsets/ClassSynset[1]/owl:Class)=1

R10: GetSubClassHierarchy 3 response SubClassSynsets 2 second ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/SubClassSynsets/ClassSynset[2]/owl:Class)=1

R10: GetSubClassHierarchy 3 response ClassSynset contains owl:Class B
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/SubClassSynsets/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#B' or @IRI='B'])=1

R10: GetSubClassHierarchy 3 response ClassSynset contains owl:Class D
count(/ResponseMessage[1]/*[10]/ClassSubClassesPair[2]/SubClassSynsets/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#D' or @IRI='D'])=1

R10: GetSubClassHierarchy 3 response ClassHierarchy contains one ClassSynset
count(/ResponseMessage[1]/*[10]/ClassSynset)=1

R10: GetSubClassHierarchy 3 response ClassSynset contains one Class owl:Nothing
count(/ResponseMessage[1]/*[10]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Nothing' or @IRI='http://www.w3.org/2002/07/owl#Nothing'])=1

R11: GetSubClassHierarchy 4 response is ClassHierarchy element
name(/ResponseMessage[1]/*[11]) = 'ClassHierarchy'

R11: GetSubClassHierarchy 4 response ClassHierarchy contains one ClassSubClassesPairs
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair)=1

R11: GetSubClassHierarchy 4 response ClassSubClassesPair contains one ClassSynset
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/ClassSynset)=1

R11: GetSubClassHierarchy 4 response ClassSynset contains two owl:Class
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/ClassSynset/owl:Class)=2

R11: GetSubClassHierarchy 4 response contains owl:Class owl:Thing
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Thing' or @IRI='http://www.w3.org/2002/07/owl#Thing'])=1

R11: GetSubClassHierarchy 4 response contains owl:Class A
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#A' or @IRI='A'])=1

R11: GetSubClassHierarchy 4 response ClassSubClassesPair contains one SubClassSynsets
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/SubClassSynsets)=1

R11: GetSubClassHierarchy 4 response SubClassSynsets contains one ClassSynset
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/SubClassSynsets/ClassSynset)=1

R11: GetSubClassHierarchy 4 response owl:Class is B
count(/ResponseMessage[1]/*[11]/ClassSubClassesPair[1]/SubClassSynsets/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#B' or @IRI='B'])=1

R11: GetSubClassHierarchy 4 response ClassHierarchy contains one ClassSynset
count(/ResponseMessage[1]/*[11]/ClassSynset)=1

R11: GetSubClassHierarchy 4 response ClassSynset contains two Classes
count(/ResponseMessage[1]/*[11]/ClassSynset/owl:Class)=2

R11: GetSubClassHierarchy 4 response ClassSynset contains owl:Class C
count(/ResponseMessage[1]/*[11]/ClassSynset/owl:Class[@IRI='http://www.owllink.org/examples/myOntology#C' or @IRI='C'])=1

R11: GetSubClassHierarchy 4 response ClassSynset contains owl:Class owl:Nothing
count(/ResponseMessage[1]/*[11]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Nothing' or @IRI='http://www.w3.org/2002/07/owl#Nothing'])=1

R12: ReleaseKB KB_1 response OK
name(/ResponseMessage[1]/*[12]) = 'OK'

R13: ReleaseKB KB_2 response OK
name(/ResponseMessage[1]/*[13]) = 'OK'

R14: ReleaseKB KB_3 response OK
name(/ResponseMessage[1]/*[14]) = 'OK'

R15: ReleaseKB KB_4 response OK
name(/ResponseMessage[1]/*[15]) = 'OK'