<?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;"
	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-20T17:39:02+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;Krextor">
		<rdfs:label>Krextor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Krextor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Krextor"/>
		<rdf:type rdf:resource="&wiki;Category-3ARDF"/>
		<property:Based_on rdf:resource="&wiki;RDF"/>
		<property:Based_on rdf:resource="&wiki;XSLT"/>
		<foaf:homepage rdf:resource="http://www.kwarc.info/projects/krextor/"/>
		<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/projects/krextor"/>
		<property:Trac_URL rdf:resource="https://trac.kwarc.info/krextor"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<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>
	<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;XSLT">
		<rdfs:label>XSLT</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;XSLT"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/XSLT"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;RDF">
		<rdfs:label>RDF</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;RDF"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/RDF"/>
	</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-3ARDF">
		<rdfs:label>RDF</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:RDF"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:RDF"/>
	</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>