<?xml version="1.0" encoding="UTF-8"?>
<RequestMessage xmlns="http://www.owllink.org/owllink-xml#"
    xmlns:owl="http://www.w3.org/2002/07/owl#" 
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.owllink.org/owllink-xml# 
      http://www.owllink.org/owllink-xml-20091023.xsd">
    <CreateKB kb="http://www.owllink.org/examples/KB_1"/>
    <Tell kb="http://www.owllink.org/examples/KB_1">
        <owl:SubClassOf>
            <owl:Class IRI="A"/>
            <owl:Class IRI="B"/>
        </owl:SubClassOf>
        <owl:SubClassOf>
            <owl:Class IRI="B"/>
            <owl:Class IRI="C"/>
        </owl:SubClassOf>
    </Tell>
    <IsClassSatisfiable kb="http://www.owllink.org/examples/KB_1">
        <owl:Class IRI="A"/>
    </IsClassSatisfiable>
    <ReleaseKB kb="http://www.owllink.org/examples/KB_1"/>
</RequestMessage>
