<?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 name="" fullIRI="http://crowd.fi.uncoma.edu.ar/kb1#"/>
		<Prefix name="rdf" fullIRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
		<Prefix name="rdfs" fullIRI="http://www.w3.org/2000/01/rdf-schema#"/>
		<Prefix name="xsd" fullIRI="http://www.w3.org/2001/XMLSchema#"/>
		<Prefix name="owl" fullIRI="http://www.w3.org/2002/07/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#Cell"/>
			<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
			<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#O"/>
			<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
			<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
			<owl:Class IRI="http://www.w3.org/2002/07/owl#Thing"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
		</owl:SubClassOf>
		<owl:DisjointClasses>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
		</owl:DisjointClasses>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
			<owl:ObjectUnionOf>
				<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
				<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
			</owl:ObjectUnionOf>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
		</owl:SubClassOf>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#O"/>
		</owl:SubClassOf>
		<owl:DisjointClasses>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
		</owl:DisjointClasses>
		<owl:SubClassOf>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
			<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#O"/>
		</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#Cell"/>
	</IsClassSatisfiable>
	<IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
	</IsClassSatisfiable>
	<IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#O"/>
	</IsClassSatisfiable>
	<IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
	</IsClassSatisfiable>
	<IsClassSatisfiable kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
	</IsClassSatisfiable>
	<GetSubClassHierarchy kb="http://crowd.fi.uncoma.edu.ar/kb1#"/>
	<GetSubObjectPropertyHierarchy kb="http://crowd.fi.uncoma.edu.ar/kb1#"/>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
	</GetDisjointClasses>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
	</GetDisjointClasses>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#O"/>
	</GetDisjointClasses>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
	</GetDisjointClasses>
	<GetDisjointClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
	</GetDisjointClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Cell"/>
	</GetEquivalentClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Home"/>
	</GetEquivalentClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#O"/>
	</GetEquivalentClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#LandLine"/>
	</GetEquivalentClasses>
	<GetEquivalentClasses kb="http://crowd.fi.uncoma.edu.ar/kb1#">
		<owl:Class IRI="http://crowd.fi.uncoma.edu.ar#Phone"/>
	</GetEquivalentClasses>
	<GetPrefixes kb="http://crowd.fi.uncoma.edu.ar/kb1#"/>
</RequestMessage>
