<?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#Institution"/>
      <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:SubObjectPropertyOf>
			<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#person"/>
			<owl:ObjectProperty IRI="http://www.w3.org/2002/07/owl#topObjectProperty"/>
		</owl:SubObjectPropertyOf>

		<owl:SubObjectPropertyOf>
			<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#institution"/>
			<owl:ObjectProperty IRI="http://www.w3.org/2002/07/owl#topObjectProperty"/>
		</owl:SubObjectPropertyOf>

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

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

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

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

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

		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#enrolled"/>
			<owl:ObjectIntersectionOf>
				<owl:ObjectSomeValuesFrom>
					<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#person"/>
					<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
				</owl:ObjectSomeValuesFrom>
				<owl:ObjectMaxCardinality cardinality="1">
					<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#person"/>
				</owl:ObjectMaxCardinality>
				<owl:ObjectSomeValuesFrom>
					<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#institution"/>
					<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
				</owl:ObjectSomeValuesFrom>
				<owl:ObjectMaxCardinality cardinality="1">
					<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#institution"/>
				</owl:ObjectMaxCardinality>
			</owl:ObjectIntersectionOf>
		</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#Institution"/>
  </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#enrolled"/>
	</IsClassSatisfiable>
	<IsObjectPropertySatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#person"/>
	</IsObjectPropertySatisfiable>
	<IsObjectPropertySatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#institution"/>
	</IsObjectPropertySatisfiable>

	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Institution"/>
	</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#enrolled"/>
	</GetDisjointClasses>

	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar/kb1#Institution"/>
	</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#enrolled"/>
	</GetEquivalentClasses>

	<GetDisjointObjectProperties kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#person"/>
	</GetDisjointObjectProperties>
	<GetDisjointObjectProperties kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#institution"/>
	</GetDisjointObjectProperties>

	<GetEquivalentObjectProperties kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#person"/>
	</GetEquivalentObjectProperties>
	<GetEquivalentObjectProperties kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:ObjectProperty IRI="http://crowd.fi.uncoma.edu.ar/kb1#institution"/>
	</GetEquivalentObjectProperties>


  <GetPrefixes kb="http://crowd.fi.uncoma.edu.ar/kb1#"/>
</RequestMessage>
