<?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://tw.rpi.edu/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://tw.rpi.edu/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://tw.rpi.edu/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	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">2012-05-29T10:09:44-04: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-3ASoftware"/>
		<dc:subject rdf:resource="&wiki;Category-3AParser"/>
		<foaf:name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Krextor</foaf:name>
		<foaf:page rdf:resource="http://kwarc.info/projects/krextor/documentation.html"/>
		<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">an extensible XSLT-based framework for extracting RDF 	    from XML. Krextor was originally conceived to extract RDF in terms of the respective document ontologies from OMDoc documents and OpenMath content dictionaries within the semantic wiki SWiM.</rdfs:comment>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:DatatypeProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#comment">
		<rdfs:label>RDFS:comment</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:RDFS:comment"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:RDFS:comment"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="http://xmlns.com/foaf/0.1/page">
		<rdfs:label>FOAF:page</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:FOAF:page"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:FOAF:page"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://xmlns.com/foaf/0.1/name">
		<rdfs:label>FOAF:name</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:FOAF:name"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:FOAF:name"/>
	</owl:DatatypeProperty>
	<owl:Class rdf:about="&wiki;Category-3AParser">
		<rdfs:label>Parser</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Parser"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Parser"/>
	</owl:Class>
	<owl:ObjectProperty rdf:about="http://purl.org/dc/elements/1.1/subject">
		<rdfs:label>DC:subject</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:DC:subject"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:DC:subject"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3ASoftware">
		<rdfs:label>Software</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Software"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Software"/>
	</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>
