<?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-12-05T04:59:27+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;Christoph_Lange">
		<rdfs:label>Christoph Lange</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Christoph_Lange"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Christoph_Lange"/>
		<rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Person"/>
		<property:Affiliation rdf:resource="&wiki;Jacobs_University_Bremen"/>
		<property:Email rdf:resource="mailto:ch.lange@jacobs-university.de"/>
		<property:Foaf-3AfirstName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Christoph</property:Foaf-3AfirstName>
		<foaf:knows rdf:resource="&wiki;Michael_Kohlhase"/>
		<property:Foaf-3AlastName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Lange</property:Foaf-3AlastName>
		<foaf:mbox rdf:resource="&wiki;Ch.lange@jacobs-2Duniversity.de"/>
		<property:Has_profession rdf:resource="&wiki;Ph.D._student"/>
		<foaf:homepage rdf:resource="http://kwarc.info/clange/"/>
		<property:Interested_in rdf:resource="&wiki;OMDoc"/>
		<property:Interested_in rdf:resource="&wiki;Semantic_wiki"/>
		<property:Interested_in rdf:resource="&wiki;IkeWiki"/>
		<property:Member_of rdf:resource="&wiki;Jacobs_University_Bremen"/>
		<property:Member_of rdf:resource="&wiki;Wikipedian"/>
		<foaf:name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Christoph Lange</foaf:name>
		<property:Participant_of rdf:resource="&wiki;SemWiki2006"/>
		<property:Participant_of rdf:resource="&wiki;ESWC2006"/>
		<rdfs:seeAlso rdf:resource="&wiki;Http-3A//kwarc.info/clange/foaf/foaf.rdf"/>
		<property:Works_at rdf:resource="&wiki;Jacobs_University_Bremen"/>
		<property:Wrote rdf:resource="&wiki;SWiM"/>
		<property:Wrote rdf:resource="&wiki;Krextor"/>
		<property:Wrote rdf:resource="&wiki;A_Semantic_Wiki_for_Mathematical_Knowledge_Management"/>
	</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;Christoph_Lange"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SemWiki_Meeting_ISWC_2008">
		<rdfs:label>SemWiki Meeting ISWC 2008</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SemWiki_Meeting_ISWC_2008"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SemWiki_Meeting_ISWC_2008"/>
		<property:Has_OC_member rdf:resource="&wiki;Christoph_Lange"/>
	</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_OC_member rdf:resource="&wiki;Christoph_Lange"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;I-2DSEMANTICS_2007">
		<rdfs:label>I-SEMANTICS 2007</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;I-SEMANTICS_2007"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/I-SEMANTICS_2007"/>
		<property:Has_PC_member rdf:resource="&wiki;Christoph_Lange"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;I-2DSEMANTICS_2008">
		<rdfs:label>I-SEMANTICS 2008</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;I-SEMANTICS_2008"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/I-SEMANTICS_2008"/>
		<property:Has_PC_member rdf:resource="&wiki;Christoph_Lange"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SWiM">
		<rdfs:label>SWiM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SWiM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SWiM"/>
		<property:Written_by rdf:resource="&wiki;Christoph_Lange"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:ObjectProperty rdf:about="&property;Written_by">
		<rdfs:label>Written by</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Written_by"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Written_by"/>
	</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;Has_OC_member">
		<rdfs:label>Has OC member</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_OC_member"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_OC_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;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;Christoph_Lange"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Krextor">
		<rdfs:label>Krextor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Krextor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Krextor"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SWiM">
		<rdfs:label>SWiM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SWiM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SWiM"/>
		<property:Written_by rdf:resource="&wiki;Christoph_Lange"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Wrote">
		<rdfs:label>Wrote</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Wrote"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Wrote"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Works_at">
		<rdfs:label>Works at</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Works_at"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Works_at"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Http-3A//kwarc.info/clange/foaf/foaf.rdf">
		<rdfs:label>Http://kwarc.info/clange/foaf/foaf.rdf</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Http://kwarc.info/clange/foaf/foaf.rdf"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Http://kwarc.info/clange/foaf/foaf.rdf"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#seeAlso">
		<rdfs:label>See also</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:See_also"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:See_also"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;ESWC2006">
		<rdfs:label>ESWC2006</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;ESWC2006"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/ESWC2006"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SemWiki2006">
		<rdfs:label>SemWiki2006</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SemWiki2006"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SemWiki2006"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Participant_of">
		<rdfs:label>Participant of</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Participant_of"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Participant_of"/>
	</owl:ObjectProperty>
	<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;Wikipedian">
		<rdfs:label>Wikipedian</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Wikipedian"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Wikipedian"/>
	</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;IkeWiki">
		<rdfs:label>IkeWiki</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;IkeWiki"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/IkeWiki"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Semantic_wiki">
		<rdfs:label>Semantic wiki</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Semantic_wiki"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Semantic_wiki"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;OMDoc">
		<rdfs:label>OMDoc</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;OMDoc"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/OMDoc"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Interested_in">
		<rdfs:label>Interested in</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Interested_in"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Interested_in"/>
	</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;Ph.D._student">
		<rdfs:label>Ph.D. student</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Ph.D._student"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Ph.D._student"/>
	</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>
	<swivt:Subject rdf:about="&wiki;Ch.lange@jacobs-2Duniversity.de">
		<rdfs:label>Ch.lange@jacobs-university.de</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Ch.lange@jacobs-university.de"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Ch.lange@jacobs-university.de"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://xmlns.com/foaf/0.1/mbox">
		<rdfs:label>Foaf:mbox</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Foaf:mbox"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Foaf:mbox"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Foaf-3AlastName">
		<rdfs:label>Foaf:lastName</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Foaf:lastName"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Foaf:lastName"/>
	</owl:DatatypeProperty>
	<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"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://xmlns.com/foaf/0.1/knows">
		<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:DatatypeProperty rdf:about="&property;Foaf-3AfirstName">
		<rdfs:label>Foaf:firstName</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Foaf:firstName"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Foaf:firstName"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;Email">
		<rdfs:label>Email</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Email"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Email"/>
	</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;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="http://xmlns.com/foaf/0.1/Person">
		<rdfs:label>Person</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Person"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Person"/>
	</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>