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/KB_2']) = 1

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

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

R4: GetSubClasses 1 repsonse is SetOfClassSynsets
name(/ResponseMessage[1]/*[4]) = 'SetOfClassSynsets'

R4: SetOfClassSynsets contains two ClassSynset
count(/ResponseMessage[1]/*[4]/ClassSynset)=2

R4: SetOfClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[4]/ClassSynset[1]/owl:Class)=1

R4: SetOfClassSynsets second ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[4]/ClassSynset[2]/owl:Class)=1

R4: ClassSynset contains owl:Class A
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='test:A' or @IRI='http://www.owllink.org/test/ont#A' or @IRI='A'])=1

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

R5: GetSubClasses 2 repsonse is SetOfClassSynsets
name(/ResponseMessage[1]/*[5]) = 'SetOfClassSynsets'

R5: SetOfClassSynsets contains two ClassSynset
count(/ResponseMessage[1]/*[5]/ClassSynset)=2

R5: SetOfClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[5]/ClassSynset[1]/owl:Class)=1

R5: SetOfClassSynsets second ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[5]/ClassSynset[2]/owl:Class)=1

R5: ClassSynset contains owl:Class A
count(/ResponseMessage[1]/*[5]/ClassSynset/owl:Class[@abbreviatedIRI='test:A' or @IRI='http://www.owllink.org/test/ont#A' or @IRI='A'])=1

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

R6: Set 2 response is OK or Error
name(/ResponseMessage[1]/*[6]) = 'OK' or name(/ResponseMessage[1]/*[6]) = 'Error'

R7: GetSubClasses 3 response is SetOfClassSynsets element
name(/ResponseMessage[1]/*[7]) = 'SetOfClassSynsets'

R7: GetSubClasses 3 response SetOfClassSynsets contains two ClassSynset
count(/ResponseMessage[1]/*[7]/ClassSynset)=2

R7: GetSubClasses 3 response SetOfClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[7]/ClassSynset[1]/owl:Class)=1

R7: GetSubClasses 3 response SetOfClassSynsets second ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[7]/ClassSynset[2]/owl:Class)=1

R7: GetSubClasses 3 response ClassSynset contains owl:Class A
count(/ResponseMessage[1]/*[7]/ClassSynset/owl:Class[@abbreviatedIRI='test:A' or @abbreviatedIRI='A' or @IRI='http://www.owllink.org/test/ont#A' or @IRI='A'])=1

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

R8: GetSubClasses 4 response is SetOfClassSynsets element
name(/ResponseMessage[1]/*[8]) = 'SetOfClassSynsets'

R8: GetSubClasses 4 response SetOfClassSynsets contains two ClassSynset
count(/ResponseMessage[1]/*[8]/ClassSynset)=2

R8: GetSubClasses 4 response SetOfClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[8]/ClassSynset[1]/owl:Class)=1

R8: GetSubClasses 4 response SetOfClassSynsets second ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[8]/ClassSynset[2]/owl:Class)=1

R8: GetSubClasses 4 response ClassSynset contains owl:Class A
count(/ResponseMessage[1]/*[8]/ClassSynset/owl:Class[@abbreviatedIRI='test:A' or @abbreviatedIRI='A' or @IRI='http://www.owllink.org/test/ont#A' or @IRI='A'])=1

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

R9: GetPrefixes response is Prefixes element
name(/ResponseMessage[1]/*[9]) = 'Prefixes'

R9: Prefixes contains 6 Prefix elements
count(/ResponseMessage[1]/*[9]/*) = 6

R9: GetPrefixes response contains test prefix
name(/ResponseMessage[1]/*[9]/Prefix) = name(/ResponseMessage[1]/Prefixes[1]/Prefix[@name='test' and @fullIRI='http://www.owllink.org/test/ont#'])

R9: GetPrefixes response contains myOnt prefix
name(/ResponseMessage[1]/*[9]/Prefix) = name(/ResponseMessage[1]/Prefixes[1]/Prefix[@name='myOnt' and @fullIRI='http://www.owllink.org/examples/myOntology#'])

R9: GetPrefixes response contains rdf prefix
name(/ResponseMessage[1]/*[9]/Prefix) = name(/ResponseMessage[1]/Prefixes[1]/Prefix[@name='rdf' and @fullIRI='http://www.w3.org/1999/02/22-rdf-syntax-ns#'])

R9: GetPrefixes response contains rdfs prefix
name(/ResponseMessage[1]/*[9]/Prefix) = name(/ResponseMessage[1]/Prefixes[1]/Prefix[@name='rdfs' and @fullIRI='http://www.w3.org/2000/01/rdf-schema#'])

R9: GetPrefixes response contains xsd prefix
name(/ResponseMessage[1]/*[9]/Prefix) = name(/ResponseMessage[1]/Prefixes[1]/Prefix[@name='xsd' and @fullIRI='http://www.w3.org/2001/XMLSchema#'])

R9: GetPrefixes response contains owl prefix
name(/ResponseMessage[1]/*[9]/Prefix) = name(/ResponseMessage[1]/Prefixes[1]/Prefix[@name='owl' and @fullIRI='http://www.w3.org/2002/07/owl#'])

R10: ReleaseKB response OK
name(/ResponseMessage[1]/*[10]) = 'OK'