NamespacePrefix( NIL ) NamespacePrefix( "owl" ) NamespacePrefix( "xsi" ) RequestMessage( CreateKB( Attribute( kb ) Prefix( Attribute( name "families" ) Attribute( fullIRI )) Prefix( Attribute( name "otherOnt" ) Attribute( fullIRI ))) LoadOntologies( Attribute( kb ) OntologyIRI( Attribute( IRI ))) IsClassSatisfiable( Attribute( kb ) families:Man ) GetDisjointClasses( Attribute( kb ) families:Father ) GetSubClasses( Attribute( kb ) Attribute( direct "true" ) families:Parent ) GetSuperClasses( Attribute( kb ) Attribute( direct "true" ) families:Grandfather ) GetSubClasses( Attribute( kb ) Attribute( direct "false" ) owl:Nothing ) ReleaseKB( Attribute( kb )))