<?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;">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2008-10-10T23:13:37+02:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;Michael_Kohlhase">
		<rdfs:label>Michael Kohlhase</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Michael_Kohlhase"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Michael_Kohlhase"/>
		<property:Has_profession rdf:resource="&wiki;Professor"/>
		<property:Member_of rdf:resource="&wiki;Jacobs_University_Bremen"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;A_Semantic_Wiki_for_Mathematical_Knowledge_Management">
		<rdfs:label>A Semantic Wiki for Mathematical Knowledge Management</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_Semantic_Wiki_for_Mathematical_Knowledge_Management"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_Semantic_Wiki_for_Mathematical_Knowledge_Management"/>
		<property:Author rdf:resource="&wiki;Michael_Kohlhase"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SemWiki2008">
		<rdfs:label>SemWiki2008</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SemWiki2008"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SemWiki2008"/>
		<property:Has_PC_member rdf:resource="&wiki;Michael_Kohlhase"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Christoph_Lange">
		<rdfs:label>Christoph Lange</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Christoph_Lange"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Christoph_Lange"/>
		<property:Foaf-3Aknows rdf:resource="&wiki;Michael_Kohlhase"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:ObjectProperty rdf:about="&property;Foaf-3Aknows">
		<rdfs:label>Foaf:knows</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Foaf:knows"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Foaf:knows"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Has_PC_member">
		<rdfs:label>Has PC member</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_PC_member"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_PC_member"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Author">
		<rdfs:label>Author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Author"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Jacobs_University_Bremen">
		<rdfs:label>Jacobs University Bremen</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Jacobs_University_Bremen"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Jacobs_University_Bremen"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Member_of">
		<rdfs:label>Member of</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Member_of"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Member_of"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Professor">
		<rdfs:label>Professor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Professor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Professor"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Has_profession">
		<rdfs:label>Has profession</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_profession"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_profession"/>
	</owl:ObjectProperty>
	<!-- 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>