<?xml version="1.0" encoding="UTF-8"?>
<RequestMessage xmlns="http://www.owllink.org/owllink#"
		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# http://www.owllink.org/owllink-20091116.xsd"
		xml:base="http://crowd.fi.uncoma.edu.ar/kb1#">
  <CreateKB kb="http://crowd.fi.uncoma.edu.ar/kb1#">
    <Prefix fullIRI="http://crowd.fi.uncoma.edu.ar/kb1#" name="" />
    <Prefix fullIRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#" name="rdf"/>
    <Prefix fullIRI="http://www.w3.org/2000/01/rdf-schema#" name="rdfs"/>
    <Prefix fullIRI="http://www.w3.org/2001/XMLSchema#" name="xsd"/>
    <Prefix fullIRI="http://www.w3.org/2002/07/owl#" name="owl"/>
  </CreateKB>
  <Set kb="http://crowd.fi.uncoma.edu.ar/kb1#" key="abbreviatesIRIs">
    <Literal>false</Literal>
  </Set>
  <Tell kb="http://crowd.fi.uncoma.edu.ar/kb1#">
    <owl:SubClassOf>
      <owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Dog"/>
      <owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
    </owl:SubClassOf>

		<owl:SubClassOf>
      <owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Person"/>
      <owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
    </owl:SubClassOf>

		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Cat"/>
			<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
		</owl:SubClassOf>

		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Dog"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Person"/>
		</owl:SubClassOf>

		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Cat"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Person"/>
		</owl:SubClassOf>


  </Tell>
  <IsKBSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#"/>
  <IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
    <owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Dog"/>
  </IsClassSatisfiable>
  <IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
    <owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Person"/>
  </IsClassSatisfiable>
	<IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Cat"/>
	</IsClassSatisfiable>

	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Dog"/>
	</GetDisjointClasses>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Person"/>
	</GetDisjointClasses>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Cat"/>
	</GetDisjointClasses>

	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Dog"/>
	</GetEquivalentClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Person"/>
	</GetEquivalentClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Cat"/>
	</GetEquivalentClasses>
	
  <GetPrefixes kb="http://crowd.fi.uncoma.edu.ar/kb1#"/>
</RequestMessage>
