<?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-09-05T18:15:14+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;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"/>
		<rdf:type rdf:resource="&wiki;Category-3APaper"/>
		<property:Accepted_by rdf:resource="&wiki;SemWiki2006"/>
		<property:Author rdf:resource="&wiki;Christoph_Lange"/>
		<property:Author rdf:resource="&wiki;Michael_Kohlhase"/>
		<property:First_page rdf:datatype="http://www.w3.org/2001/XMLSchema#double">188</property:First_page>
		<property:Has_topic rdf:resource="&wiki;Semantic_wiki"/>
		<property:Has_topic rdf:resource="&wiki;Mathematical_Knowledge_Management"/>
		<property:Has_topic rdf:resource="&wiki;OMDoc"/>
		<property:Last_page rdf:datatype="http://www.w3.org/2001/XMLSchema#double">201</property:Last_page>
		<property:Presented_as rdf:resource="&wiki;Demo"/>
		<property:Presented_as rdf:resource="&wiki;Poster"/>
		<property:Presented_at rdf:resource="&wiki;SemWiki2006"/>
	</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:Wrote rdf:resource="&wiki;A_Semantic_Wiki_for_Mathematical_Knowledge_Management"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<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;Presented_at">
		<rdfs:label>Presented at</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Presented_at"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Presented_at"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Poster">
		<rdfs:label>Poster</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Poster"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Poster"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Demo">
		<rdfs:label>Demo</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Demo"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Demo"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Presented_as">
		<rdfs:label>Presented as</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Presented_as"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Presented_as"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Last_page">
		<rdfs:label>Last page</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Last_page"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Last_page"/>
	</owl:DatatypeProperty>
	<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>
	<swivt:Subject rdf:about="&wiki;Mathematical_Knowledge_Management">
		<rdfs:label>Mathematical Knowledge Management</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Mathematical_Knowledge_Management"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Mathematical_Knowledge_Management"/>
	</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>
	<owl:ObjectProperty rdf:about="&property;Has_topic">
		<rdfs:label>Has topic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_topic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_topic"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;First_page">
		<rdfs:label>First page</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:First_page"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:First_page"/>
	</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>
	<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:Wrote rdf:resource="&wiki;A_Semantic_Wiki_for_Mathematical_Knowledge_Management"/>
	</swivt:Subject>
	<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;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;Accepted_by">
		<rdfs:label>Accepted by</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Accepted_by"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Accepted_by"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3APaper">
		<rdfs:label>Paper</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Paper"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Paper"/>
	</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>