<?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%3ARule_Reasoner">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-05-18T10:14:37+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<owl:Class rdf:about="&wiki;Category-3ARule_Reasoner">
		<rdfs:label>Rule Reasoner</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Rule_Reasoner"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Rule_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 some rule engine.</property:Description>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-01-09T08:28:42</swivt:wikiPageModificationDate>
		<property:SubClassOf rdf:resource="&wiki;Category-3AReasoner"/>
	</owl:Class>
	<swivt:Subject rdf:about="&wiki;Kaon2">
		<rdfs:label>Kaon2</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Kaon2"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Kaon2"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;BaseVISor">
		<rdfs:label>BaseVISor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;BaseVISor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/BaseVISor"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CWM">
		<rdfs:label>CWM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CWM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CWM"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_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-3ARule_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-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;ClioPatria">
		<rdfs:label>ClioPatria</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;ClioPatria"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/ClioPatria"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_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-3ARule_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-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;User-3AOpoirel">
		<rdfs:label>User:Opoirel</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;User:Opoirel"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/User:Opoirel"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">2</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SWObjects">
		<rdfs:label>SWObjects</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SWObjects"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SWObjects"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_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-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;LMF">
		<rdfs:label>LMF</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;LMF"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/LMF"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Marmotta">
		<rdfs:label>Marmotta</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Marmotta"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Marmotta"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CLR">
		<rdfs:label>CLR</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CLR"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CLR"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Tool_category rdf:resource="&wiki;Category-3ARule_Reasoner"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Kaon2">
		<rdfs:label>Kaon2</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Kaon2"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Kaon2"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;BaseVISor">
		<rdfs:label>BaseVISor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;BaseVISor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/BaseVISor"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CWM">
		<rdfs:label>CWM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CWM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CWM"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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-3ARule_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-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;ClioPatria">
		<rdfs:label>ClioPatria</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;ClioPatria"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/ClioPatria"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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-3ARule_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-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;User-3AOpoirel">
		<rdfs:label>User:Opoirel</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;User:Opoirel"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/User:Opoirel"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">2</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SWObjects">
		<rdfs:label>SWObjects</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SWObjects"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SWObjects"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;LMF">
		<rdfs:label>LMF</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;LMF"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/LMF"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Marmotta">
		<rdfs:label>Marmotta</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Marmotta"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Marmotta"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CLR">
		<rdfs:label>CLR</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CLR"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CLR"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Kaon2">
		<rdfs:label>Kaon2</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Kaon2"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Kaon2"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;BaseVISor">
		<rdfs:label>BaseVISor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;BaseVISor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/BaseVISor"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CWM">
		<rdfs:label>CWM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CWM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CWM"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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-3ARule_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-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;ClioPatria">
		<rdfs:label>ClioPatria</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;ClioPatria"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/ClioPatria"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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-3ARule_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-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;User-3AOpoirel">
		<rdfs:label>User:Opoirel</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;User:Opoirel"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/User:Opoirel"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">2</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SWObjects">
		<rdfs:label>SWObjects</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SWObjects"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SWObjects"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;LMF">
		<rdfs:label>LMF</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;LMF"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/LMF"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Marmotta">
		<rdfs:label>Marmotta</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Marmotta"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Marmotta"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_Reasoner"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CLR">
		<rdfs:label>CLR</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CLR"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CLR"/>
		<rdf:type rdf:resource="&wiki;Category-3ARule_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>