<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://w3.org/2001/sw/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://w3.org/2001/sw/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://www.w3.org/2001/sw/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="&wikiurl;Special:ExportRDF/%3ACategory%3ARDFS_Reasoner">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-05-21T01:41:30+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<owl:Class rdf:about="&wiki;Category-3ARDFS_Reasoner">
		<rdfs:label>RDFS Reasoner</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:RDFS_Reasoner"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:RDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">14</swivt:wikiNamespace>
		<property:Description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Tools that can perform reasoning tasks based on RDFS.</property:Description>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-01-09T08:36:03</swivt:wikiPageModificationDate>
		<property:SubClassOf rdf:resource="&wiki;Category-3AReasoner"/>
	</owl:Class>
	<swivt:Subject rdf:about="&wiki;AllegroGraph">
		<rdfs:label>AllegroGraph</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;AllegroGraph"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/AllegroGraph"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OpenLink_Virtuoso">
		<rdfs:label>OpenLink Virtuoso</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OpenLink_Virtuoso"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OpenLink_Virtuoso"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Owlim">
		<rdfs:label>Owlim</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Owlim"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Owlim"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Sesame">
		<rdfs:label>Sesame</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Sesame"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Sesame"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OWLRL">
		<rdfs:label>OWLRL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OWLRL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OWLRL"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SHER">
		<rdfs:label>SHER</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SHER"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SHER"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Intellidimension">
		<rdfs:label>Intellidimension</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Intellidimension"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Intellidimension"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Bigdata">
		<rdfs:label>Bigdata</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Bigdata"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Bigdata"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Corese">
		<rdfs:label>Corese</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Corese"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Corese"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;TopBraid">
		<rdfs:label>TopBraid</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;TopBraid"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/TopBraid"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OpenAnzo">
		<rdfs:label>OpenAnzo</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OpenAnzo"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OpenAnzo"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OntoBroker">
		<rdfs:label>OntoBroker</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OntoBroker"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OntoBroker"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Parliament">
		<rdfs:label>Parliament</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Parliament"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Parliament"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;StrixDB">
		<rdfs:label>StrixDB</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;StrixDB"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/StrixDB"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Jena">
		<rdfs:label>Jena</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Jena"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Jena"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;AllegroGraph">
		<rdfs:label>AllegroGraph</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;AllegroGraph"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/AllegroGraph"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OpenLink_Virtuoso">
		<rdfs:label>OpenLink Virtuoso</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OpenLink_Virtuoso"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OpenLink_Virtuoso"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Owlim">
		<rdfs:label>Owlim</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Owlim"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Owlim"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Sesame">
		<rdfs:label>Sesame</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Sesame"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Sesame"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OWLRL">
		<rdfs:label>OWLRL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OWLRL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OWLRL"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SHER">
		<rdfs:label>SHER</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SHER"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SHER"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Intellidimension">
		<rdfs:label>Intellidimension</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Intellidimension"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Intellidimension"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Bigdata">
		<rdfs:label>Bigdata</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Bigdata"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Bigdata"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Corese">
		<rdfs:label>Corese</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Corese"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Corese"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;TopBraid">
		<rdfs:label>TopBraid</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;TopBraid"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/TopBraid"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OpenAnzo">
		<rdfs:label>OpenAnzo</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OpenAnzo"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OpenAnzo"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OntoBroker">
		<rdfs:label>OntoBroker</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OntoBroker"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OntoBroker"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Parliament">
		<rdfs:label>Parliament</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Parliament"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Parliament"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;StrixDB">
		<rdfs:label>StrixDB</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;StrixDB"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/StrixDB"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Jena">
		<rdfs:label>Jena</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Jena"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Jena"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;AllegroGraph">
		<rdfs:label>AllegroGraph</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;AllegroGraph"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/AllegroGraph"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OpenLink_Virtuoso">
		<rdfs:label>OpenLink Virtuoso</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OpenLink_Virtuoso"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OpenLink_Virtuoso"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Owlim">
		<rdfs:label>Owlim</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Owlim"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Owlim"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Sesame">
		<rdfs:label>Sesame</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Sesame"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Sesame"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OWLRL">
		<rdfs:label>OWLRL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OWLRL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OWLRL"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SHER">
		<rdfs:label>SHER</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SHER"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SHER"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Intellidimension">
		<rdfs:label>Intellidimension</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Intellidimension"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Intellidimension"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Bigdata">
		<rdfs:label>Bigdata</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Bigdata"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Bigdata"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Corese">
		<rdfs:label>Corese</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Corese"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Corese"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;TopBraid">
		<rdfs:label>TopBraid</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;TopBraid"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/TopBraid"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OpenAnzo">
		<rdfs:label>OpenAnzo</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OpenAnzo"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OpenAnzo"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OntoBroker">
		<rdfs:label>OntoBroker</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OntoBroker"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OntoBroker"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Parliament">
		<rdfs:label>Parliament</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Parliament"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Parliament"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;StrixDB">
		<rdfs:label>StrixDB</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;StrixDB"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/StrixDB"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Jena">
		<rdfs:label>Jena</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Jena"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Jena"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDFS_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<owl:DatatypeProperty rdf:about="&property;Description">
		<rdfs:label>Description</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Description"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Description"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;SubClassOf">
		<rdfs:label>SubClassOf</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:SubClassOf"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:SubClassOf"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3AReasoner">
		<rdfs:label>Reasoner</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Reasoner"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">14</swivt:wikiNamespace>
	</owl:Class>
	<owl:ObjectProperty rdf:about="&property;Tool_category">
		<rdfs:label>Tool category</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Tool_category"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Tool_category"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&swivt;creationDate" />
	<owl:ObjectProperty rdf:about="&swivt;page" />
	<owl:DatatypeProperty rdf:about="&swivt;wikiNamespace" />
	<owl:DatatypeProperty rdf:about="&swivt;wikiPageModificationDate" />
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org/ -->
</rdf:RDF>