<?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://mathweb.org/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://mathweb.org/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://mathweb.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="&wikiurl;Special:ExportRDF/SWiM">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2010-03-11T10:44:31+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;SWiM">
		<rdfs:label>SWiM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SWiM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SWiM"/>
		<rdf:type rdf:resource="&wiki;Category-3ASemantic_wiki"/>
		<rdf:type rdf:resource="&wiki;Category-3ASWiM"/>
		<property:Based_on rdf:resource="&wiki;IkeWiki"/>
		<property:Blog rdf:resource="http://www.kwarc.info/blog/category/swim/"/>
		<property:Developed_by rdf:resource="&wiki;User-3AClange"/>
		<property:Edits rdf:resource="&wiki;OMDoc"/>
		<property:Homepage rdf:resource="http://www.kwarc.info/projects/swim/"/>
		<property:Instance_of rdf:resource="&wiki;Semantic_wiki"/>
		<property:MailinglistAddress rdf:datatype="http://www.w3.org/2001/XMLSchema#string">mailto:project-swim@jacobs-university.de</property:MailinglistAddress>
		<property:MailinglistHomepage rdf:resource="http://lists.jacobs-university.de/mailman/listinfo/project-swim"/>
		<property:SVN_URL rdf:resource="https://svn.kwarc.info/repos/swim/"/>
		<property:SVN_URL rdf:resource="http://kiss.salzburgresearch.at/svn/IkeWiki/branches/SWiM/"/>
		<property:Trac_URL rdf:resource="https://trac.kwarc.info/swim"/>
		<property:Written_in rdf:resource="&wiki;Java"/>
	</swivt:Subject>
	<!-- auxiliary definitions -->
	<swivt:Subject rdf:about="&wiki;Java">
		<rdfs:label>Java</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Java"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Java"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Written_in">
		<rdfs:label>Written in</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Written_in"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Written_in"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Trac_URL">
		<rdfs:label>Trac URL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Trac_URL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Trac_URL"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;SVN_URL">
		<rdfs:label>SVN URL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:SVN_URL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:SVN_URL"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;MailinglistHomepage">
		<rdfs:label>MailinglistHomepage</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:MailinglistHomepage"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:MailinglistHomepage"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;MailinglistAddress">
		<rdfs:label>MailinglistAddress</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:MailinglistAddress"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:MailinglistAddress"/>
	</owl:DatatypeProperty>
	<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;Instance_of">
		<rdfs:label>Instance of</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Instance_of"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Instance_of"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;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;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;Edits">
		<rdfs:label>Edits</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Edits"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Edits"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;User-3AClange">
		<rdfs:label>User:Clange</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;User:Clange"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/User:Clange"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Developed_by">
		<rdfs:label>Developed by</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Developed_by"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Developed_by"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Blog">
		<rdfs:label>Blog</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Blog"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Blog"/>
	</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>
	<owl:ObjectProperty rdf:about="&property;Based_on">
		<rdfs:label>Based on</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Based_on"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Based_on"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3ASWiM">
		<rdfs:label>SWiM</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:SWiM"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:SWiM"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3ASemantic_wiki">
		<rdfs:label>Semantic wiki</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Semantic_wiki"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Semantic_wiki"/>
	</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>