<?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://semanticweb.org/id/'>
	<!ENTITY property 'http://semanticweb.org/id/Property-3A'>
	<!ENTITY wikiurl 'http://semanticweb.org/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;"
	xmlns:foaf="http://xmlns.com/foaf/0.1/">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2008-11-22T15:45:43+01:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;HermiT">
		<rdfs:label>HermiT</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;HermiT"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/HermiT"/>
		<rdf:type rdf:resource="&wiki;Category-3AReasoner"/>
		<property:Affiliation rdf:resource="&wiki;University_of_Oxford"/>
		<foaf:homepage rdf:resource="http://www.comlab.ox.ac.uk/people/boris.motik/HermiT/"/>
		<property:License rdf:resource="&wiki;LGPL"/>
		<foaf:name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">HermiT</foaf:name>
		<property:Status rdf:datatype="http://www.w3.org/2001/XMLSchema#string">alpha</property:Status>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:DatatypeProperty rdf:about="&property;Status">
		<rdfs:label>Status</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Status"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Status"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="http://xmlns.com/foaf/0.1/name">
		<rdfs:label>Name</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Name"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Name"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;LGPL">
		<rdfs:label>LGPL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;LGPL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/LGPL"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;License">
		<rdfs:label>License</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:License"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:License"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://xmlns.com/foaf/0.1/homepage">
		<rdfs:label>Homepage</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Homepage"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Homepage"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;University_of_Oxford">
		<rdfs:label>University of Oxford</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;University_of_Oxford"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/University_of_Oxford"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Affiliation">
		<rdfs:label>Affiliation</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Affiliation"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Affiliation"/>
	</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"/>
	</owl:Class>
	<!-- References to the SWiVT Ontology, see http://semantic-mediawiki.org/swivt/ -->
	<owl:AnnotationProperty rdf:about="&swivt;page">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:AnnotationProperty rdf:about="&swivt;creationDate">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:Class rdf:about="&swivt;Subject">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Class>
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org -->
</rdf:RDF>